path: root/tests/untried/neg/not-possible-cause.scala

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