Compiler crash while compiling structural types with type member

[liufengyun]

Following two examples crashes the compiler with the implementation of structural types in #1881

Test 1

import scala.reflect.Selectable.reflectiveSelectable

object Test {
  def g(x: { type T ; def t: T ; def f(a: T): Boolean }) = x.f(x.t)
  g(new { type T = Int; def t = 4; def f(a:T) = true })
  g(new { type T = Any; def t = 4; def f(a:T) = true })
}

Test 2

import scala.reflect.Selectable.reflectiveSelectable

object Test {
  def g(x: { def f[T](a: T): Int }) = x.f[Int](4)
}

[odersky]

The crashes have been turned into static errors in #1881.