Yes, that is true. I think it would be a reasonable restriction that you have to specifically export the scopes in which you expect to search for extension methods (something like export Foo.extension above).
Yes, that is true. I think it would be a reasonable restriction that you have to specifically export the scopes in which you expect to search for extension methods (something like export Foo.extension above).