Bring back experimental.relaxedExtensionImports language import

[odersky]

This is to keep MiMa happy.

Not sure what the policy should be. At some point we might want to simply drop the import since it no longer does anything, but maybe we should wait a bit with it?

[sjrd]

I guess .tasty files contain references to these things through in import nodes? If yes, we indeed have to keep those (forever). Otherwise we can remove them after a while and we can ignore MiMa.

[odersky]

But experimental imports count as experimental. So as far as Tasty is concerned, they should be analogous to a reference to an experimental definition, no? Which means we can remove them, after giving a decent deprecation interval. Or did I overlook something here?

[sjrd]

Oh do they? If they indeed count as experimental themselves, then yes we can eventually remove them.

[odersky]

They are experimental in the sense that you can declare an experimental import only in code that's itself experimental.