13af6ab5fSopenharmony_ci/* 23af6ab5fSopenharmony_ci * Copyright (c) 2023 Huawei Device Co., Ltd. 33af6ab5fSopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License"); 43af6ab5fSopenharmony_ci * you may not use this file except in compliance with the License. 53af6ab5fSopenharmony_ci * You may obtain a copy of the License at 63af6ab5fSopenharmony_ci * 73af6ab5fSopenharmony_ci * http://www.apache.org/licenses/LICENSE-2.0 83af6ab5fSopenharmony_ci * 93af6ab5fSopenharmony_ci * Unless required by applicable law or agreed to in writing, software 103af6ab5fSopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS, 113af6ab5fSopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 123af6ab5fSopenharmony_ci * See the License for the specific language governing permissions and 133af6ab5fSopenharmony_ci * limitations under the License. 143af6ab5fSopenharmony_ci */ 153af6ab5fSopenharmony_ci 163af6ab5fSopenharmony_ci 173af6ab5fSopenharmony_ciinterface I1 { 183af6ab5fSopenharmony_ci a: number; 193af6ab5fSopenharmony_ci} 203af6ab5fSopenharmony_ci 213af6ab5fSopenharmony_citype T1 = { 223af6ab5fSopenharmony_ci a: "a" | "b"; 233af6ab5fSopenharmony_ci} 243af6ab5fSopenharmony_ci 253af6ab5fSopenharmony_citype T2 = (x: string) => void; 263af6ab5fSopenharmony_ci 273af6ab5fSopenharmony_ciconst t1 = { a: 1 } satisfies I1; 283af6ab5fSopenharmony_ciconst t2 = { a: 1, b: 1 } satisfies I1; 293af6ab5fSopenharmony_ciconst t3 = { } satisfies I1; 303af6ab5fSopenharmony_ci 313af6ab5fSopenharmony_ciconst t4: T1 = { a: "a" } satisfies T1; 323af6ab5fSopenharmony_ciconst t5 = (m => m.substring(0)) satisfies T2; 333af6ab5fSopenharmony_ci 343af6ab5fSopenharmony_ciconst t6 = [1, 2] satisfies [number, number]; 353af6ab5fSopenharmony_ci 363af6ab5fSopenharmony_ciinterface A { 373af6ab5fSopenharmony_ci a: string 383af6ab5fSopenharmony_ci} 393af6ab5fSopenharmony_cilet t7 = { a: 'test' } satisfies A; 403af6ab5fSopenharmony_cilet t8 = { a: 'test', b: 'test' } satisfies A;