Design Meeting Notes, 9/9/2016 · Issue #10826 · microsoft/TypeScript

Idea: the literal 1 should always start out with the type 1. No more literal type locations. In a read-only location, a literal type will keep its type. In a mutable location, a literal type will gain its base primitive type, unless it has a contextual type. Every literal type has a base primitive type. Changes to Function Return Type Inference Other change is that multiple return statements alway