Lost type member bounds for refined pattern types

[Linyxus]

Compiler version

3.1.0

Minimized code

trait Expr { type T }

def foo[A](e: Expr { type T = A }) = e match
  case e1: Expr { type T <: Int } =>
    val i: Int = ??? : e1.T

Output

Found:    e1.T
Required: Int

Expectation

The code should be accepted, since e1.T is defined to be the subtype of Int. However, by inspecting the typer, we found that the pattern will be typed as _: Expr{type T = _} where _ is the wildcard type, and the information about the bounds <: Int gets lost.

[soronpo]

I'm not sure this is a bug. Same behavior in Scala 2.
https://scastie.scala-lang.org/wvu8P6QkQAKujvrsXv2gDg

[dwijnand]

It's is/was a bug in Scala 2 too! There's no reason e1.T can't widen to Int there, that I can think of.

[SethTisue]

We should not allow this to compile unless we also ensure that it emits an unchecked warning.

[abgruszecki]

Unassigning myself since if there's anything in the compiler I will be taking a look at anytime soon, it will be issues directly related to GADTs.