91 lines
2.8 KiB
TypeScript
91 lines
2.8 KiB
TypeScript
//// [destructuringObjectBindingPatternAndAssignment1ES5.ts]
|
|
// In a destructuring assignment expression, the type of the expression on the right must be assignable to the assignment target on the left.
|
|
// An expression of type S is considered assignable to an assignment target V if one of the following is true
|
|
|
|
// V is an object assignment pattern and, for each assignment property P in V,
|
|
// S is the type Any, or
|
|
var { a1 }: any = undefined;
|
|
var { a2 }: any = {};
|
|
|
|
// V is an object assignment pattern and, for each assignment property P in V,
|
|
// S has an apparent property with the property name specified in
|
|
// P of a type that is assignable to the target given in P, or
|
|
var { b1, } = { b1:1, };
|
|
var { b2: { b21 } = { b21: "string" } } = { b2: { b21: "world" } };
|
|
var {1: b3} = { 1: "string" };
|
|
var {b4 = 1}: any = { b4: 100000 };
|
|
var {b5: { b52 } } = { b5: { b52 } };
|
|
|
|
// V is an object assignment pattern and, for each assignment property P in V,
|
|
// P specifies a numeric property name and S has a numeric index signature
|
|
// of a type that is assignable to the target given in P, or
|
|
|
|
interface F {
|
|
[idx: number]: boolean;
|
|
}
|
|
|
|
function foo(): F {
|
|
return {
|
|
1: true
|
|
};
|
|
}
|
|
|
|
function bar(): F {
|
|
return {
|
|
2: true
|
|
};
|
|
}
|
|
var {1: c0} = foo();
|
|
var {1: c1} = bar();
|
|
|
|
// V is an object assignment pattern and, for each assignment property P in V,
|
|
// S has a string index signature of a type that is assignable to the target given in P
|
|
|
|
interface F1 {
|
|
[str: string]: number;
|
|
}
|
|
|
|
function foo1(): F1 {
|
|
return {
|
|
"prop1": 2
|
|
}
|
|
}
|
|
|
|
var {"prop1": d1} = foo1();
|
|
var {"prop2": d1} = foo1();
|
|
|
|
//// [destructuringObjectBindingPatternAndAssignment1ES5.js]
|
|
// In a destructuring assignment expression, the type of the expression on the right must be assignable to the assignment target on the left.
|
|
// An expression of type S is considered assignable to an assignment target V if one of the following is true
|
|
// V is an object assignment pattern and, for each assignment property P in V,
|
|
// S is the type Any, or
|
|
var a1 = undefined.a1;
|
|
var a2 = {}.a2;
|
|
// V is an object assignment pattern and, for each assignment property P in V,
|
|
// S has an apparent property with the property name specified in
|
|
// P of a type that is assignable to the target given in P, or
|
|
var b1 = { b1: 1 }.b1;
|
|
var _a = { b2: { b21: "world" } }.b2, _b = _a === void 0 ? { b21: "string" } : _a, b21 = _b.b21;
|
|
var b3 = { 1: "string" }[1];
|
|
var _c = { b4: 100000 }.b4, b4 = _c === void 0 ? 1 : _c;
|
|
var b52 = { b5: { b52: b52 } }.b5.b52;
|
|
function foo() {
|
|
return {
|
|
1: true
|
|
};
|
|
}
|
|
function bar() {
|
|
return {
|
|
2: true
|
|
};
|
|
}
|
|
var c0 = foo()[1];
|
|
var c1 = bar()[1];
|
|
function foo1() {
|
|
return {
|
|
"prop1": 2
|
|
};
|
|
}
|
|
var d1 = foo1()["prop1"];
|
|
var d1 = foo1()["prop2"];
|