Scala 3: Compiler asserts in erasure when an override uses an erased `using` clause

Fixed · medium · Crash

A generic trait method has an erased `using` clause before a type-parameter argument. An override of it triggers an AssertionError in erasure, so valid code fails to compile.

Found: ; reported: ; status since: . Reporter: Mike Murunov

Page for this report · Public report · Fix or proposed fix (see status)

Open in the showcase. Record generated .