Local Variable Type Inference