No warnings for union type test pattern

## Minimized code

```Scala
class A
class B
class C

object Test {
  def bar(x: A) = x match {
    case x: (B | C) => x // no warning?
    case _ =>
  }
}
```

## Output

No warnings

## Expectation

The compiler should produce a warning, as the test is always false.
