Skip to content

Regression in katrix/perspective (stack overflow with match types) #16706

New issue
New issue
Closed
#16708
Closed
Regression in katrix/perspective (stack overflow with match types)#16706
#16708
Assignees
odersky
Labels
area:match-typesitype:bugregressionThis worked in a previous version but doesn't anymore
Milestone
 
3.3.1
@jchyb

Description

@jchyb
jchyb
opened on Jan 16, 2023

Community-build

Compiler version

3.2.2-RC2 (but stopped compiling somewhere between 3.2.0 and 3.2.1)

Minimized code

import scala.deriving.Mirror
import scala.reflect.ClassTag

type TupleUnionLub[T <: Tuple, Lub, Acc <: Lub] <: Lub = T match {
  case (h & Lub) *: t => TupleUnionLub[t, Lub, Acc | h]
  case EmptyTuple     => Acc
}

transparent inline given derived[A](
    using m: Mirror.SumOf[A],
    idClassTag: ClassTag[TupleUnionLub[m.MirroredElemTypes, A, Nothing]]
): Unit = ()

sealed trait Foo
case class FooA(a: Int) extends Foo

val instance = derived[Foo]

Output (click arrow to expand)

Exception in thread "main" java.lang.StackOverflowError
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:17)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)
        at dotty.tools.dotc.core.Substituters$SubstBindingMap.apply(Substituters.scala:167)
        at dotty.tools.dotc.core.Types$TypeMap.mapOver(Types.scala:5674)
        at dotty.tools.dotc.core.Substituters$.subst(Substituters.scala:25)

Expected outcome

Should compile like it did in 3.2.0

Metadata

Metadata

Assignees

Labels

area:match-typesitype:bugregressionThis worked in a previous version but doesn't anymore

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions