dotty-error-given-inline

scala> given nOrd[T] as _ <: Ord[T] = ??? // { def cmp(x: T, y: T) = ??? }
Exception in thread "main" java.lang.AssertionError: assertion failed: PolyType(List(T), List(TypeBounds(TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Nothing),TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Any))), TypeBounds(TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Nothing),AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <empty>)),module rs$line$1),trait Ord),List(TypeParamRef(T)))))
    at dotty.DottyPredef$.assertFail(DottyPredef.scala:17)
    at dotty.tools.dotc.core.Types$PolyType.<init>(Types.scala:3525)
    at dotty.tools.dotc.core.Types$PolyType$.apply(Types.scala:3631)
    at dotty.tools.dotc.core.Types$PolyType$.apply(Types.scala:3628)
    at dotty.tools.dotc.core.Types$LambdaTypeCompanion.fromParams(Types.scala:3326)
    at dotty.tools.dotc.typer.NamerContextOps.methodType(Namer.scala:148)
    at dotty.tools.dotc.core.Contexts$Context.methodType(Contexts.scala:75)
    at dotty.tools.dotc.typer.Namer.wrapMethType$1(Namer.scala:1497)
    at dotty.tools.dotc.typer.Namer.defDefSig$$anonfun$4(Namer.scala:1504)
    at dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1453)
    at dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1504)
    at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:815)
    at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:935)
    at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:843)
    at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:259)
    at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:185)
    at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:187)
    at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:399)
    at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:2103)
    at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2128)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2208)
    at dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2247)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2256)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2259)
    at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2281)
    at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2325)
    at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:1812)
    at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2141)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2208)
    at dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2247)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2256)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2259)
    at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2281)
    at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2325)
    at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1938)
    at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2182)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2209)
    at dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2247)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2256)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2259)
    at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2367)
    at dotty.tools.dotc.typer.FrontEnd.liftedTree1$2(FrontEnd.scala:78)
    at dotty.tools.dotc.typer.FrontEnd.typeCheck$$anonfun$1(FrontEnd.scala:83)
    at dotty.runtime.function.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
    at dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:42)
    at dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:84)
    at dotty.tools.repl.REPLFrontEnd.runOn(ReplFrontEnd.scala:23)
    at dotty.tools.dotc.Run.runPhases$4$$anonfun$4(Run.scala:167)
    at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:15)
    at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:10)
    at scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
    at dotty.tools.dotc.Run.runPhases$5(Run.scala:177)
    at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:185)
    at dotty.runtime.function.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
    at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:64)
    at dotty.tools.dotc.Run.compileUnits(Run.scala:192)
    at dotty.tools.dotc.Run.compileUnits(Run.scala:134)
    at dotty.tools.repl.ReplCompiler.runCompilationUnit(ReplCompiler.scala:156)
    at dotty.tools.repl.ReplCompiler.compile(ReplCompiler.scala:166)
    at dotty.tools.repl.ReplDriver.compile(ReplDriver.scala:229)
    at dotty.tools.repl.ReplDriver.interpret(ReplDriver.scala:193)
    at dotty.tools.repl.ReplDriver.loop$1(ReplDriver.scala:127)
    at dotty.tools.repl.ReplDriver.runUntilQuit$$anonfun$1(ReplDriver.scala:130)
    at dotty.tools.repl.ReplDriver.withRedirectedOutput(ReplDriver.scala:148)
    at dotty.tools.repl.ReplDriver.runUntilQuit(ReplDriver.scala:130)
    at dotty.tools.repl.Main$.main(Main.scala:6)
    at dotty.tools.repl.Main.main(Main.scala)