Simon Ritter — Local variable type inference: Friend or foe?