path: root/test/files/neg/not-possible-cause.scala

object Foo {
  def foo[A <: Product](a: A) { type X = a.type }
}