[draven]

Scala does. It's annoying in pattern matching clauses.

[virtualwhys]

and yet it prevents you from shooting yourself in the foot at run time (if you have `-Xfatal-warnings` enabled), so the compiler has your back.

When Dotty and Java 10 land many annoyances will go away thankfully.