No warning about non-exhaustive pattern matching for constructor with type bound enclosing type member

[Alex1005a]

Compiler version

scala 3.7.1

Minimized code

class Module {
  type BarTy
  sealed trait Adt[A]
  case class Foo() extends Adt[String]
  case class Bar[A <: BarTy](x: BarTy) extends Adt[A]
}

object Basic extends Module {
  type BarTy = String
}

def test(a: Basic.Adt[String]) = {
    a match
        case Basic.Foo() =>
}

val result = test(Basic.Bar(""))
print(result)

Output

Exception in thread "main" scala.MatchError: Bar()

Expectation

Compiler warning: match may not be exhaustive.

[nox213]

It seems that during space calculation for Basic.Adt[String], BarTy is not being concretized to String, so Basic.Bar[String] is not included in the space. I’m trying to take a look and see if I can fix it.

[Alex1005a]

You can see that the type bounds checking happens in the addOneBound function. This check happens during refineUsingParent function.