type inference

Also written: infer, inferred

TypeScript working out a type from the code, such as from the starting value of a variable, so you often don't need to annotate.