Почему знак вопрос работает именно так?

Question

[webe]

Почему в A и B всегда тип User?

interface Cat  {
    active: boolean;
}
interface User  {
    age: 22;
}
type Test<T, U> = T extends {active:boolean} ? U : T;
type A = Test<User, Cat>
type B = Test<Cat, User>

Comments

[WbICHA]

"Именно так" — это как? Он работает именно так, как и должен работать тернарник.

Answer 1

[Alexandroppolus]

ну так всё правильно:

1) User extends {active:boolean} ? Cat : User;
условие ложно, берем вариант после двоеточия

2) Cat extends {active:boolean} ? User : Cat;
условие истинно, берем вариант до двоеточия

Answer 2

[otdameskapizm]

Работает, так, как ему предначертано судьбой
https://developer.mozilla.org/ru/docs/Web/JavaScri...