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 C<T extends keyof A>{} 23 24function getProperty<K extends keyof A>(key: K){} 25 26function main():void{ 27 let d = new C/* @@ label1 */<"field12345">; 28 29 let a:A = new A(); 30 /* @@ label2 */getProperty<keyof A>(/* @@ label3 */"field12345"); 31} 32 33/* @@@ label1 Error TypeError: Type "field12345" is not assignable to constraint type "method1"|"field1"|"field2" */ 34/* @@@ label2 Error TypeError: No matching call signature for getProperty("field12345") */ 35/* @@@ label3 Error TypeError: Type '"field12345"' is not compatible with type '"method1"|"field1"|"field2"' at index 1 */ 36