1/*
2 * Copyright (c) 2023 Huawei Device Co., Ltd.
3 * Licensed under the Apache License, Version 2.0 (the "License");
4 * you may not use this file except in compliance with the License.
5 * You may obtain a copy of the License at
6 *
7 * http://www.apache.org/licenses/LICENSE-2.0
8 *
9 * Unless required by applicable law or agreed to in writing, software
10 * distributed under the License is distributed on an "AS IS" BASIS,
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 * See the License for the specific language governing permissions and
13 * limitations under the License.
14 */
15
16
17interface I1 {
18    a: number;
19}
20
21type T1 = {
22    a: "a" | "b";
23}
24
25type T2 = (x: string) => void;
26
27const t1 = { a: 1 } satisfies I1;
28const t2 = { a: 1, b: 1 } satisfies I1;
29const t3 = { } satisfies I1;
30
31const t4: T1 = { a: "a" } satisfies T1;
32const t5 = (m => m.substring(0)) satisfies T2;
33
34const t6 = [1, 2] satisfies [number, number];
35
36interface A {
37    a: string
38}
39let t7 = { a: 'test' } satisfies A;
40let t8 = { a: 'test', b: 'test' } satisfies A;