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
|
/// <reference path="fourslash.ts" />
//// interface Sundries {
//// broken: boolean;
//// }
////
//// interface Supplies {
//// spoiled: boolean;
//// }
////
//// interface Crate<T> {
//// contents: T;
//// /*1*/isSundries(): this is Crate<Sundries>;
//// /*2*/isSupplies(): this is Crate<Supplies>;
//// /*3*/isPackedTight(): this is (this & {extraContents: T});
//// }
//// const crate: Crate<any>;
//// if (crate.isPackedTight/*4*/()) {
//// crate.;
//// }
//// if (crate.isSundries/*5*/()) {
//// crate.contents.;
//// if (crate.isPackedTight/*6*/()) {
//// crate.;
//// }
//// }
//// if (crate.isSupplies/*7*/()) {
//// crate.contents.;
//// if (crate.isPackedTight/*8*/()) {
//// crate.;
//// }
//// }
verify.quickInfos({
1: "(method) Crate<T>.isSundries(): this is Crate<Sundries>",
2: "(method) Crate<T>.isSupplies(): this is Crate<Supplies>",
3: `(method) Crate<T>.isPackedTight(): this is this & {
extraContents: T;
}`,
4: `(method) Crate<any>.isPackedTight(): this is Crate<any> & {
extraContents: any;
}`,
5: "(method) Crate<any>.isSundries(): this is Crate<Sundries>",
6: `(method) Crate<Sundries>.isPackedTight(): this is Crate<Sundries> & {
extraContents: Sundries;
}`,
7: "(method) Crate<any>.isSupplies(): this is Crate<Supplies>",
8: `(method) Crate<Supplies>.isPackedTight(): this is Crate<Supplies> & {
extraContents: Supplies;
}`
});
|
