./tests/patmat/t7746.scala:2: warning: match may not be exhaustive.
It would fail on the following input: Some(_), None
  def f[T](x: Option[T]) = x match {
                             ^
one warning found