Structural GADT crashes the compiler

[Linyxus]

Minimized code

trait Expr { type T }
trait IntLit extends Expr { type T <: Int }
trait IntExpr extends Expr { type T = Int }

def foo[A](e: Expr { type T = A }) = e match {
  case _: IntLit =>
    val a: A = 0 // error
    val i: Int = ??? : A

  case _: Expr { type T <: Int } =>
    val a: A = 0 // error
    val i: Int = ??? : A // limitation // error

  case _: IntExpr =>
    val a: A = 0
    val i: Int = ??? : A

  case _: Expr { type T = Int } =>
    val a: A = 0
    val i: Int = ??? : A
}