why “any” type extends another type will always be union type in typescript?

Question

example:

type A = any extends 1 ? 2 : 3 // result: type A = 2 | 3

Just curiously, why A is 2|3 rather than 2<