Can we all just call it “type narrowing”?

2 points| laughinghan | 5 years ago |laughinghan.medium.com