1
2
3
4
5
6
7
8
9
10
|
//// [tests/cases/conformance/types/conditional/inferTypesInvalidExtendsDeclaration.ts] ////
=== inferTypesInvalidExtendsDeclaration.ts ===
type Test<T> = T extends infer A extends B ? number : string;
>Test : Symbol(Test, Decl(inferTypesInvalidExtendsDeclaration.ts, 0, 0))
>T : Symbol(T, Decl(inferTypesInvalidExtendsDeclaration.ts, 0, 10))
>T : Symbol(T, Decl(inferTypesInvalidExtendsDeclaration.ts, 0, 10))
>A : Symbol(A, Decl(inferTypesInvalidExtendsDeclaration.ts, 0, 30))
>B : Symbol(B)
|
