Home
last modified time | relevance | path

Searched refs:Eq1 (Results 1 – 5 of 5) sorted by relevance

/third_party/typescript/tests/cases/conformance/types/conditional/
DconditionalTypes1.ts234 type Eq1<T, U> = Eq<T, U> extends false ? false : true; alias
235 type T70 = Eq1<true, true>; // true
236 type T71 = Eq1<true, false>; // false
237 type T72 = Eq1<false, true>; // false
238 type T73 = Eq1<false, false>; // true
/third_party/typescript/tests/baselines/reference/
DconditionalTypes1.js232 type Eq1<T, U> = Eq<T, U> extends false ? false : true;
233 type T70 = Eq1<true, true>; // true
234 type T71 = Eq1<true, false>; // false
235 type T72 = Eq1<false, true>; // false
236 type T73 = Eq1<false, false>; // true
636 type Eq1<T, U> = Eq<T, U> extends false ? false : true;
637 type T70 = Eq1<true, true>;
638 type T71 = Eq1<true, false>;
639 type T72 = Eq1<false, true>;
640 type T73 = Eq1<false, false>;
DconditionalTypes1.symbols875 type Eq1<T, U> = Eq<T, U> extends false ? false : true;
876 >Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 228, 28))
883 type T70 = Eq1<true, true>; // true
885 >Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 228, 28))
887 type T71 = Eq1<true, false>; // false
889 >Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 228, 28))
891 type T72 = Eq1<false, true>; // false
893 >Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 228, 28))
895 type T73 = Eq1<false, false>; // true
897 >Eq1 : Symbol(Eq1, Decl(conditionalTypes1.ts, 228, 28))
DconditionalTypes1.types721 type Eq1<T, U> = Eq<T, U> extends false ? false : true;
722 >Eq1 : Eq1<T, U>
727 type T70 = Eq1<true, true>; // true
732 type T71 = Eq1<true, false>; // false
737 type T72 = Eq1<false, true>; // false
742 type T73 = Eq1<false, false>; // true
DconditionalTypes1.errors.txt384 type Eq1<T, U> = Eq<T, U> extends false ? false : true;
385 type T70 = Eq1<true, true>; // true
386 type T71 = Eq1<true, false>; // false
387 type T72 = Eq1<false, true>; // false
388 type T73 = Eq1<false, false>; // true