Local Variable Type Inference FAQ