Typer should preserve aliases in TypeTrees

[smarter]

Or at least, preserve them for aliases whose kind is different from the kind of their right-hand side

object Test {
  def foo[M[_]](x: M[Int]) = x

  type Alias[A] = (A, A)
  val x: Alias[Int] = (1, 2)

  foo[Alias](x) // ok
  foo(x) // ok in scalac but fails in dotty with:
         // error: type mismatch:
         //  found   : (Int, Int)
         //  required: M[Int]
}

[odersky]

I looked into it, and it does not seem to have an easy solution.

[smarter]

Could you expand on that? Why do we dealias here anyway?