@@ -190,7 +190,7 @@ unbox(b1); // string
190
190
>b1 : Box<Box<Box<Box<Box<Box<string>>>>>>
191
191
192
192
unbox(b2); // string
193
- >unbox(b2) : string
193
+ >unbox(b2) : T6
194
194
>unbox : <T>(box: RecBox<T>) => T
195
195
>b2 : T6
196
196
@@ -200,7 +200,7 @@ unbox(b3); // InfBox<string>
200
200
>b3 : InfBox<string>
201
201
202
202
unbox({ value: { value: { value: { value: { value: { value: 5 }}}}}}); // number
203
- >unbox({ value: { value: { value: { value: { value: { value: 5 }}}}}}) : number
203
+ >unbox({ value: { value: { value: { value: { value: { value: 5 }}}}}}) : { value: { value: { value: { value: { value: number; }; }; }; }; } | { value: { value: { value: { value: { value: { value: number; }; }; }; }; }; }
204
204
>unbox : <T>(box: RecBox<T>) => T
205
205
>{ value: { value: { value: { value: { value: { value: 5 }}}}}} : { value: { value: { value: { value: { value: { value: number; }; }; }; }; }; }
206
206
>value : { value: { value: { value: { value: { value: number; }; }; }; }; }
@@ -222,15 +222,15 @@ unbox(b4); // { value: { value: typeof b4 }}
222
222
>b4 : { value: { value: { value: any; }; }; }
223
223
224
224
unbox({ value: { value: { get value() { return this; } }}}); // { readonly value: ... }
225
- >unbox({ value: { value: { get value() { return this; } }}}) : { readonly value: { readonly value: any; }; }
225
+ >unbox({ value: { value: { get value() { return this; } }}}) : { value: { readonly value: { readonly value: any; } ; }; }
226
226
>unbox : <T>(box: RecBox<T>) => T
227
227
>{ value: { value: { get value() { return this; } }}} : { value: { value: { readonly value: { readonly value: any; }; }; }; }
228
228
>value : { value: { readonly value: { readonly value: any; }; }; }
229
229
>{ value: { get value() { return this; } }} : { value: { readonly value: { readonly value: any; }; }; }
230
230
>value : { readonly value: { readonly value: any; }; }
231
231
>{ get value() { return this; } } : { readonly value: { readonly value: any; }; }
232
232
>value : { readonly value: any; }
233
- >this : { readonly value: any; } | { readonly value: { readonly value: any; }; } | Box<RecBox<{ readonly value: { readonly value: any; }; }>>
233
+ >this : { readonly value: any; } | { readonly value: { readonly value: any; }; } | { value: { readonly value: { readonly value: any; }; }; } | Box<RecBox<{ value: { readonly value: { readonly value: any; } ; }; }>>
234
234
235
235
// Inference from nested instantiations of same generic types
236
236
0 commit comments