easy-includes

[Debbl]

type-challenges-solutions/en/easy-includes.md

Lines 51 to 52 in 6597b86

	E.g. if you write `2 extends 1 | 2`, what TypeScript will do is actually replace
	it with two conditionals `2 extends 1` and `2 extends 2`.

This is a Conditional Types, but this description looks like a Distributive Conditional Types, is there a problem with my understanding? thank you.

[ghaiklor]

No, these are Distributive Conditional Types, you are right.

[Debbl]

I don't quite understand, if this is a Distributive Conditional Types, it is replaced with two conditionals 2 extends 1 and 2 extends 2, then return false | true a Union Types. Is thera a problem with this understanding.

[ghaiklor]

I can't understand your question, feel free to navigate into the comments section on the website.