Skip to content

Compiler crash unifying type param with specific type #6801

New issue
New issue
Closed
Closed
Compiler crash unifying type param with specific type#6801
Labels
itype:bug
@jsuereth

Description

@jsuereth
jsuereth
opened on Jul 3, 2019

minimized code

delegate MyNumericOps[T] {                                                                                                                                                                                  
  def (x: T) +(y: T) given (n: Numeric[T]): T = n.plus(x,y)
}
// This causes a stack overflow, but "x + 1f" causes the expected error.
def foo[T: Numeric](x: T) = 1f + x
Stack trace 
[error] (run-main-0) java.lang.StackOverflowError
[error] java.lang.StackOverflowError
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4466)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapArgs$1(Types.scala:4489)
[error] 	at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:4497)
[error] 	at dotty.tools.dotc.core.Substituters.subst1(Substituters.scala:35)
[error] 	at dotty.tools.dotc.core.Contexts$Context.subst1(Contexts.scala:71)
[error] 	at dotty.tools.dotc.core.Substituters$Subst1Map.apply(Substituters.scala:168)

Metadata

Metadata

Assignees

No one assigned

    Labels

    itype:bug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions