Stack Overflow when using mutually-recursive opaque types

[Odomontois]

Minimized code

import scala.annotation.tailrec
type |@[F[+_], G[+_]] = [a] =>> F[a] | G[a]

object Fix:
  opaque type T[+F[+_]] = ApplyFix.T[F]

  def apply[F[+_]](f: F[Fix[F]]): T[F] = ApplyFix(f)

  extension on [F[+_]](fix: T[F]):
    def value: F[Fix[F]] = ApplyFix.unwrap(fix)

  object ApplyFix:
    opaque type T[+F[+_]] = F[Fix[F]]

    def apply[F[+_]](f: F[Fix[F]]): T[F] = f

    def unwrap[F[+_]](v: T[F]): F[Fix[F]] = v  

type Fix[+F[+_]] = Fix.T[F]

final case class Cat[+R](name: String, fur: String, rest: R)
object Cat:
    def of[R, F[+_]](name: String, fur: String, rest: Fix[F]): Fix[F |@ Cat] = Fix(new Cat(name, fur, rest))

final case class Dog[+R](name: String, size: Long, rest: R)
object Dog:
    def of[R, F[+_]](name: String, size: Long, rest: Fix[F]): Fix[F |@ Dog] = Fix(new Dog(name, size, rest))

case object End:
    type f[+a] = End.type
    def apply() = Fix[f](End)

object DropRed:
    @tailrec def dropRedCats[F[+a] >: Cat[a]](cats: Fix[F]): Fix[F] = 
        cats.value match 
            case Cat(_, "red", rest) => dropRedCats(rest)
            case _ => cats

    type CatDogVector = Vector[Either[Cat[Unit], Dog[Unit]]]
    type CatOrDogs[+a] =  Cat[a] | Dog[a] | End.type

    def (catDogs: Fix[CatOrDogs]) toVector : CatDogVector  = 
        @tailrec def go(acc: CatDogVector, catDogs: Fix[CatOrDogs]) : CatDogVector = catDogs.value match
            case Cat(name, fur, rest) =>  go(acc :+ Left(Cat(name, fur, ())), rest)
            case Dog(name, size, rest) => go(acc :+ Right(Dog(name, size, ())), rest)
            case End => acc
        
        go(Vector(), catDogs)

    val x = 
        Cat.of("lilly" , "red"  , 
        Cat.of("anya"  , "red"  , 
        Cat.of("boris" , "black", 
        Dog.of("mashka", 3      ,
        Cat.of("manya" , "red"  ,     
        End())))))

        
    def main(args: Array[String]) = 
        println(x.toVector)
        println(dropRedCats(x).toVector)

Output (click arrow to expand)

[error] java.lang.StackOverflowError
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5291)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.op$4(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:5304)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5308)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] 	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5343)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:144)
[error] 	at dotty.tools.dotc.typer.Inferencing$IsFullyDefinedAccumulator.apply(Inferencing.scala:121)
[error] (Compile / compileIncremental) java.lang.StackOverflowError
[error] Total time: 5 s, completed May 14, 2020 7:13:29 PM

[odersky]

Opaque types will never work with fixed points, so it's useless to try. But the error message should be better than a stack overflow.

[odersky]

The example seems to be incomplete. |@ is not defined. Can you add the missing definition?

[Odomontois]

@odersky Sorry for that. Done

[odersky]

Updated code to work under 3.0-M3, but still the same crash:

import scala.annotation.tailrec
type |@[F[+_], G[+_]] = [a] =>> F[a] | G[a]

object Fix:
  opaque type T[+F[+_]] = ApplyFix.T[F]

  def apply[F[+_]](f: F[Fix[F]]): T[F] = ApplyFix(f)

  extension [F[+_]](fix: T[F])
    def value: F[Fix[F]] = ApplyFix.unwrap(fix)

  object ApplyFix:
    opaque type T[+F[+_]] = F[Fix[F]]

    def apply[F[+_]](f: F[Fix[F]]): T[F] = f

    def unwrap[F[+_]](v: T[F]): F[Fix[F]] = v

type Fix[+F[+_]] = Fix.T[F]

final case class Cat[+R](name: String, fur: String, rest: R)
object Cat:
    def of[R, F[+_]](name: String, fur: String, rest: Fix[F]): Fix[F |@ Cat] = Fix(new Cat(name, fur, rest))

final case class Dog[+R](name: String, size: Long, rest: R)
object Dog:
    def of[R, F[+_]](name: String, size: Long, rest: Fix[F]): Fix[F |@ Dog] = Fix(new Dog(name, size, rest))

case object End:
    type f[+a] = End.type
    def apply() = Fix[f](End)

object DropRed:
    @tailrec def dropRedCats[F[+a] >: Cat[a]](cats: Fix[F]): Fix[F] =
        cats.value match
            case Cat(_, "red", rest) => dropRedCats(rest)
            case _ => cats

    type CatDogVector = Vector[Either[Cat[Unit], Dog[Unit]]]
    type CatOrDogs[+a] =  Cat[a] | Dog[a] | End.type

    extension (catDogs: Fix[CatOrDogs]) def toVector : CatDogVector  =
        @tailrec def go(acc: CatDogVector, catDogs: Fix[CatOrDogs]) : CatDogVector = catDogs.value match
            case Cat(name, fur, rest) =>  go(acc :+ Left(Cat(name, fur, ())), rest)
            case Dog(name, size, rest) => go(acc :+ Right(Dog(name, size, ())), rest)
            case End => acc

        go(Vector(), catDogs)

    val x =
        Cat.of("lilly" , "red"  ,
        Cat.of("anya"  , "red"  ,
        Cat.of("boris" , "black",
        Dog.of("mashka", 3      ,
        Cat.of("manya" , "red"  ,
        End())))))


    def main(args: Array[String]) =
        println(x.toVector)
        println(dropRedCats(x).toVector)

[odersky]

This will ultimately be rejected. You can't define directly recursive opaque types. It seems this code uses enough obfuscation to circumvent the existing detectors. But the result will just be to make the detectors more through.