Closed
Description
Compiler version
3.1.0, 3.1.1-RC1, 3.1.1-RC2
Minimized code
sealed trait BoundedPair[A, B <: A]
type Second[A, T <: BoundedPair[A, _ <: A]] <: A = T match {
case BoundedPair[A, b] => b
}
Output
Found: b
Required: A
where: b is a type in type Second with bounds <: Playground.BoundedPair[?, ?]#A
Expectation
Second[Animal, BoundedPair[Animal, Cat]]
⇒ Cat