Skip to content

Compiler crash unifying type param with specific type #6801

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
jsuereth opened this issue Jul 3, 2019 · 1 comment
Closed

Compiler crash unifying type param with specific type #6801

jsuereth opened this issue Jul 3, 2019 · 1 comment
Labels
itype:bug

Comments

@jsuereth
Copy link

jsuereth commented 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)
@odersky
Copy link
Contributor

odersky commented Jul 4, 2019

This is already fixed in master. I'll add the test to make sure it stays so.

@odersky odersky closed this as completed in 9c4df91 Jul 4, 2019
odersky added a commit that referenced this issue Jul 4, 2019
@odersky
Merge pull request #6806 from dotty-staging/test-#6801
ef62605 
Fix #6801: Add test
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
itype:bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jsuereth @odersky