ATM, these would be private methods that have a single caller (but potentially multiple call sites) ignoring any recursive calls. Also ATM, any method that a method reference expression resolves/binds to or any generic method that is invoked with explicit type arguments are disqualified since if they are rendered local, there is no way to use them in method references or invoke them with explicit type witnesses. This may change in future as we define additional syntax for supporting these use cases.