Java 10 allows implicit typing for local variables. You can get a quick refresher here.
Fast forward 6 months, Java 11 will be supporting local variable syntax support for Lambda Parameters in an implicitly typed lambda expression.
Here is an example from the spec:
(var x, var y) -> x.process(y)
With this support, annotations can be added to local variables as they require full type.
(@NotNull var x, @Nullable var y) -> x.process(y)
Expanding the example from my earlier post. Lines #17 and #57 shows this support in action.