[viewfromafar]

The PL crowd calls that type system feature "occurrence typing."

[SemanticStrengh]

yes or flow typing https://en.wikipedia.org/wiki/Flow-sensitive_typing It probably overlap with the research on gradual typing too