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 22class B extends A{ 23 bfield1:int; 24 bfield2:int; 25 bmethod1(){}; 26} 27 28function main():void{ 29 let x1:keyof A = "field1"; 30 let x2:keyof A = "field2"; 31 let x3:keyof A = "method1"; 32 let x4:keyof A = /* @@ label1 */"other field"; 33 let x5:keyof A = /* @@ label2 */"other method"; 34 let x6:keyof A = /* @@ label3 */100; 35 36 let y1:keyof B = "bfield1"; 37 let y2:keyof B = "bfield2"; 38 let y3:keyof B = "bmethod1"; 39 let y4:keyof B = /* @@ label4 */"other field"; 40 let y5:keyof B = /* @@ label5 */"other method"; 41 let y6:keyof B = /* @@ label6 */100; 42} 43 44/* @@@ label1 Error TypeError: Type '"other field"' cannot be assigned to type '"method1"|"field1"|"field2"' */ 45/* @@@ label2 Error TypeError: Type '"other method"' cannot be assigned to type '"method1"|"field1"|"field2"' */ 46/* @@@ label3 Error TypeError: Type 'int' cannot be assigned to type '"method1"|"field1"|"field2"' */ 47/* @@@ label4 Error TypeError: Type '"other field"' cannot be assigned to type '"bmethod1"|"bfield1"|"bfield2"|"method1"|"field1"|"field2"' */ 48/* @@@ label5 Error TypeError: Type '"other method"' cannot be assigned to type '"bmethod1"|"bfield1"|"bfield2"|"method1"|"field1"|"field2"' */ 49/* @@@ label6 Error TypeError: Type 'int' cannot be assigned to type '"bmethod1"|"bfield1"|"bfield2"|"method1"|"field1"|"field2"' */ 50 51