1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
//// [tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithOptionalProperties.ts] ////
//// [subtypingWithOptionalProperties.ts]
// subtyping is not transitive due to optional properties but the subtyping algorithm assumes it is for the 99% case
// returns { s?: number; }
function f<T>(a: T) {
var b: { s?: number } = a;
return b;
}
var r = f({ s: new Object() }); // ok
r.s && r.s.toFixed(); // would blow up at runtime
//// [subtypingWithOptionalProperties.js]
// subtyping is not transitive due to optional properties but the subtyping algorithm assumes it is for the 99% case
// returns { s?: number; }
function f(a) {
var b = a;
return b;
}
var r = f({ s: new Object() }); // ok
r.s && r.s.toFixed(); // would blow up at runtime
|
