T01 (reference) in projects: arkcompiler

22 type T01 = string | never;

24 type T01 = { [P in "x" | "y"]: P };  alias

25 type T01 = Partial<[number, string?, ...boolean[]]>;  alias

19 type T01 = Extract<'a' | 'b' | 'c' | 'd', 'a' | 'c' | 'f'>; // 'a' | 'c'  alias

/arkcompiler/ets_runtime/test/typeinfer/automatedcases/
D	neverUnionIntersection.ts	`22 type T01 = string \| never;`
D	keyofIntersection.ts	`25 type T01 = keyof (A & B); // "a" \| "b" alias`
D	mappedTypes1.ts	`24 type T01 = { [P in "x" \| "y"]: P }; alias`
D	mappedTypes4.ts	`75 type T01 = Readonly<A \| B \| C \| null \| undefined>; alias`
D	mappedTypesArraysTuples.ts	`25 type T01 = Partial<[number, string?, ...boolean[]]>; alias`
D	genericRestParameters2.ts	`438 type T01 = Parameters<(x: number, y: string, ...z: boolean[]) => void>;`
/arkcompiler/ets_frontend/arkguard/test/grammar/advanced_type/
D	predefined_types.ts	`19 type T01 = Extract<'a' \| 'b' \| 'c' \| 'd', 'a' \| 'c' \| 'f'>; // 'a' \| 'c' alias`