Unexpected sensitivity to order of definitions

[som-snytt]

Compiler version

3.3.1-RC1-bin-SNAPSHOT-git-d4a8600

Minimized code

object Test {
  type E[+X <: A with T[X]] = A with T[X]
  sealed trait T[+X <: E[X]]
  trait A extends T[A]
  trait B extends A with T[B]
  def test[E1 <: E[E1], E2 <: E[E2]](a: E[E1], b: E[E2]) =
    (a, b) match {
      case (_, _: B) =>
      case (_: B, _) =>
      case _ =>
    }
}

Output

-- [E046] Cyclic Error: S.scala:4:23 -----------------------------------------------------------------------------------
4 |  sealed trait T[+X <: E[X]]
  |                       ^
  |                       Cyclic reference involving type E
  |
  | longer explanation available when compiling with `-explain`
1 error found

Expectation

Same result as when switching order of E and T:

object Test {
  sealed trait T[+X <: E[X]]
  type E[+X <: A with T[X]] = A with T[X]
  trait A extends T[A]
  trait B extends A with T[B]
  def test[E1 <: E[E1], E2 <: E[E2]](a :E[E1], b :E[E2]) =
    (a, b) match {
      case (_, _ :B) =>
      case (_ :B, _) =>
      case _ =>
    }
}

which compiles successfully.

Observed at scala/bug#12771