Guillaume Martres

If we can't get it fixed by the anti-virus, we could mention it in the doc just to not surprise the user.

It's possible but I don't know how to make that scale to frequent releases: https://www.avast.com/whitelist-program-registration

The default argument is typed with an expected type of `SAMFunction1[WildcardType, WildcardType]`, we can give it a more precise type manually with an explicit ascription: ```scala trait SAMFunction1[-T1, +R]: def...

I can review it this week.

Sorry, I'm not sure I understand what changes you have in mind that would lead to the same issue with non-gadt type variables. To me, it still seems like this...

@godenji @topazus did you encounter this error while using WSL? Otherwise, what OS were you using?

And for people who were using WSL, did you install the JVM inside WSL or did you use the Windows version of the JVM?

> I think that's required because constructor parameters can be a part of the parent type They can be part of the parent tree (`class Foo(x: Int) extends Bla(x)`) but...

I would just completely remove the "Drive type inference" section, or make it Scala 2 specific.

/cc @bishabosha who knows the most about the current state of the bridge in scala 3.