SI-8597 Issue an elusive unchecked warning

For:

```scala
def nowarn[T] = (null: Any) match { case _: Some[T] => }
```

Review by @adriaanm. I'll be out your way on Wedsneday, let's
run through this together then.

See also a followup issue that I lodged as SI-8604.