odersky

In any case, we should merge either this PR or #20355. I leave it to you to decide which.

> It was an old PR, which had a passing CI run on top of old main without the changes. I see, that explains it. Maybe we should have a...

What does Scla 2 give for the `isInstanceOf`?

The problem that IntOpt with the member commented out does not get an outer pointer, and we cannot change that. We could restrict the type system to prevent the match...

It would be quite inefficient if every inner trait needed an outer pointer. So it gets one only if the body references an outer member. I don't know whether that's...

It seems this breaks more in the CB. Not sure what to do, I think I'll give this up for now.

@WojciechMazur So, this test fixes two regressions and probably opens two others that were fixed by #19922. Nevertheless, from a point of the program logic this is the right thing...

It works for me on main.

So we have this regression when #19922 is enabled and some other regressions that #19922 fixed. There is no way to address both sets of regressions at the same time,...

In fact I am not sure what LTS does?