1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
//// [inferenceErasedSignatures.ts]
// Repro from #37163
declare class SomeBaseClass {
set<K extends keyof this>(key: K, value: this[K]): this[K];
}
abstract class SomeAbstractClass<C, M, R> extends SomeBaseClass {
foo!: (r?: R) => void;
bar!: (r?: any) => void;
abstract baz(c: C): Promise<M>;
}
class SomeClass extends SomeAbstractClass<number, string, boolean> {
async baz(context: number): Promise<string> {
return `${context}`;
}
}
type CType<T> = T extends SomeAbstractClass<infer C, any, any> ? C : never;
type MType<T> = T extends SomeAbstractClass<any, infer M, any> ? M : never;
type RType<T> = T extends SomeAbstractClass<any, any, infer R> ? R : never;
type SomeClassC = CType<SomeClass>; // number
type SomeClassM = MType<SomeClass>; // string
type SomeClassR = RType<SomeClass>; // boolean
// Repro from #37163
interface BaseType<T1, T2> {
set<K extends keyof this>(key: K, value: this[K]): this[K];
useT1(c: T1): void;
useT2(r?: T2): void;
unrelatedButSomehowRelevant(r?: any): void;
}
interface InheritedType extends BaseType<number, boolean> {
// This declaration shouldn't do anything...
useT1(_: number): void
}
// Structural expansion of InheritedType
interface StructuralVersion {
set<K extends keyof this>(key: K, value: this[K]): this[K];
useT1(c: number): void;
useT2(r?: boolean): void;
unrelatedButSomehowRelevant(r?: any): void;
}
type GetT1<T> = T extends BaseType<infer U, any> ? U : never;
type T1 = GetT1<InheritedType>; // number
type T2 = GetT1<StructuralVersion>; // number
//// [inferenceErasedSignatures.js]
"use strict";
// Repro from #37163
var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
return new (P || (P = Promise))(function (resolve, reject) {
function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
step((generator = generator.apply(thisArg, _arguments || [])).next());
});
};
class SomeAbstractClass extends SomeBaseClass {
}
class SomeClass extends SomeAbstractClass {
baz(context) {
return __awaiter(this, void 0, void 0, function* () {
return `${context}`;
});
}
}
|
