Type-narrowing/covariance/contravariance

abi · 2024-06-20T23:26:10.956Z

Why is it that `5` has type `5` but `{five:5}` has type `{five:number}` and not `{five:5}`?

Why is it that

5

5 has type

5

5 but

{five:5}

{five:5}

{five:5}

{five:5} has type

{five:number}

{five:number}

{five:number}

{five:number} and not

{five:5}

{five:5}

{five:5}

{five:5}?