Type Inference vs Type Annotation in TypeScript