JEP 286: Local-Variable Type Inference