Narrowing

the process of refining types to more specific types than declared is called narrowing.

📘 手冊

• Narrowing

• this-based type guards (this is «T»)

📗 參考

Topics

• type predicate - «param» is «T»

• discriminated union - common property with literal types