odersky

If you think we need more tests, please contribute them. I am out of time for this one. (This remark should have been addressed to everyone, not specifically to @soronpo,...

OK, agreed. But I am really out of time here. Does one of you want to make the changes? - filter with term level predicate - bring back indexOfType, containsType...

Tomorrow is fine. On Sun, Apr 28, 2024 at 1:12 PM Eugene Flesselle ***@***.***> wrote: > OK, agreed. But I am really out of time here. Does one of you...

These are variations of a [Scala Users discussion](https://users.scala-lang.org/t/create-an-instance-of-a-type-class-with-methods-depending-on-type-members/9613/4. ) The critical part is shown in parsercombinators-expanded.scala. definition of `combine`: ```scala def combine[A, B]( _f: Combinator[A], _s: Combinator[B] { type Context...

See also https://github.com/lampepfl/dotty/issues/3964, #3920

I now see that #3936 is _very_ similar to this PR (and might also solve some problems wrt inheritance in this PR). Definitely worth following up. Maybe we should re-open...

I was particularly interested in the way #3936 handles base types. This PR has nothing in that department. Maybe that's needed to fix the remaining failures in neg/i3964.scala?

Some more info: Making all explicit vals tracked causes a failing bootstrap and ~50 failing tests. Particular issues: - Private vals escaping in inferred refinements of non-private values - Cyclic...

@liufengyun Yes, I agree, explicit `tracked` solves most of these things. But #19015 is still useful since it might us help discover problems that also arise on widespread uses of...

Another thing that currently does not work is this test from `neg/i3964.scala`: ```scala object Test3: trait Vec(tracked val size: Int) class Vec8 extends Vec(8): val s: 8 = size //...