Deno•2y ago•

26 replies

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 55 has type 55 but {five:5}{five:5} has type {five:number}{five:number} and not {five:5}{five:5}?

Deno Join

Chat about Deno, a modern runtime for JavaScript and TypeScript.

20,934Members

Resources

Recent Announcements

Similar Threads

Was this page helpful?

Type-narrowing/covariance/contravariance - Deno

Deno•2y ago•

26 replies

abi

Type-narrowing/covariance/contravariance

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

Continue the conversation

Join the Discord to ask follow-up questions and connect with the community

Deno

Chat about Deno, a modern runtime for JavaScript and TypeScript.

20,934 Members

Join

Deno Join

Chat about Deno, a modern runtime for JavaScript and TypeScript.

20,934Members

Resources

Recent Announcements

Aabi / help

3y ago

Deno KV Type narrowing issue

Wwhaley / help

8mo ago

Deno LSP not narrowing types

BBread / help

9mo ago

Type alias with inherited type parameter constraints

Aabi / help

3y ago

Similar Threads

Was this page helpful?

Continue the conversation

Join the Discord to ask follow-up questions and connect with the community

Deno

Chat about Deno, a modern runtime for JavaScript and TypeScript.

20,934 Members

Join

Aabi / help

3y ago

Deno KV Type narrowing issue

Wwhaley / help

8mo ago

Deno LSP not narrowing types

BBread / help

9mo ago

Type alias with inherited type parameter constraints

Aabi / help

3y ago