1/* 2 * Copyright (c) 2025 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 16class A{ 17 field1:int; 18 field2:int; 19 method1(){}; 20} 21 22function getProperty(obj: A, key: keyof A){} 23 24function main():void{ 25 let a = new A(); 26 /* @@ label1 */getProperty(a, /* @@ label2 */"other field"); 27 /* @@ label3 */getProperty(a, /* @@ label4 */"other method"); 28 /* @@ label5 */getProperty(a, /* @@ label6 */1); 29} 30 31/* @@@ label1 Error TypeError: No matching call signature for getProperty(A, "other field") */ 32/* @@@ label2 Error TypeError: Type '"other field"' is not compatible with type '"method1"|"field1"|"field2"' at index 2 */ 33/* @@@ label3 Error TypeError: No matching call signature for getProperty(A, "other method") */ 34/* @@@ label4 Error TypeError: Type '"other method"' is not compatible with type '"method1"|"field1"|"field2"' at index 2 */ 35/* @@@ label5 Error TypeError: No matching call signature for getProperty(A, int) */ 36/* @@@ label6 Error TypeError: Type 'int' is not compatible with type '"method1"|"field1"|"field2"' at index 2 */