1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
//// [tests/cases/conformance/expressions/typeSatisfaction/typeSatisfaction_ensureInterfaceImpl.ts] ////
//// [typeSatisfaction_ensureInterfaceImpl.ts]
type Movable = {
move(distance: number): void;
};
const car = {
start() { },
move(d) {
// d should be number
},
stop() { }
} satisfies Movable & Record<string, unknown>;
//// [typeSatisfaction_ensureInterfaceImpl.js]
var car = {
start: function () { },
move: function (d) {
// d should be number
},
stop: function () { }
};
|
