Yes, the fate of static methods under this proposal was something that I had been meaning to ask, but didn't see addressed anywhere in the document. It seems as though you know for certain the eventual shape of UFCS and how it will interact with the revised trait system, but I'm still fuzzy on the details. Is it safe to assume that the RFC in PR #4 is essentially correct?