odersky

One other argument for reverting #19922: Without #19922, if type inference breaks we can heal this by making the inline method in question `transparent`. With #19922, if type inference breaks...

I believe this needs fixing on the repl side. Ideally, I add a comment ```scala > //> using options -deprecation ``` after the prompt and try again. There is the...

I think that's a reasonable warning. The fix is to annotate `Close` with @sharable.

I added another fix by accident to this PR. But we can treat it together. Fixes #20317 now as well.

It's more complicated. Making a separate PR after all.

That's actually as expected. `t2` sees the type of `Opaque` as seen from outside the package.

Test performance please

test performance please

Named tuples will be only experimental in 3.5, anyway.

@JD557 yes, indeed. I force pushed as an independent separate branch, incorporating fixes to the two typos pointed out by @johnynek. The proposal could be split further into two or...