abstract class A {
  type T
  object X {
    def foo(x: T): T = x
  }
}