Diamond in type patterns?

[Brian Goetz]

> If you use pattern matching without inference, the mix between parenthesis and angle brackets rapidly becomes unreadable, so for a type pattern inside a switch, I think that even the diamond syntax is too much.
>
> So IMO we should use the same inference as the method reference for the type pattern in a switch.

That ship may unfortunately have sailed.  Currently `Foo f` declares the 
type of `f` as "raw Foo", and feature is finalized in 16.  (We had a 
long time to notice this.)