It looks like local imports are basically forgotten, even though without them RA is unusable.
If I try to fix this, do you have any advices on the implementation?
@suhr it unfortunately in needs design state at this moment. That is, it's hard to add a short, tactical fix for it, and, before embarking on a more thorough refactoring, I'd love to actually design how this should work, with t-compiler's involvement. The biggest problem with this is that there isn't a person with relevant knowledge who can dedicate a significant chunk of time for this design work
So this is actually harder than E-hard issues?
well, E-hard + E-needs design