• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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:number = 10;
18  foo(){}
19  private foo2(){}
20}
21
22function getProperty<K extends ((keyof A)|number|A)>(key: K){}
23
24function main():void{
25  let a:A = new A();
26
27  type keyofA = keyof A;
28  type keyofUnion = keyofA|number|A;
29  let x1:keyofUnion = /* @@ label1 */"foo2";
30  let x2:keyofUnion = /* @@ label2 */"other field";
31
32  /* @@ label3 */getProperty<keyofA>(/* @@ label4 */"foo2")
33  /* @@ label5 */getProperty<keyofA>(/* @@ label6 */"other field")
34}
35
36/* @@@ label1 Error TypeError: Type '"foo2"' cannot be assigned to type 'Double|A|"foo"|"field1"'  */
37/* @@@ label2 Error TypeError: Type '"other field"' cannot be assigned to type 'Double|A|"foo"|"field1"'  */
38/* @@@ label3 Error TypeError: No matching call signature for getProperty("foo2")  */
39/* @@@ label4 Error TypeError: Type '"foo2"' is not compatible with type '"foo"|"field1"' at index 1  */
40/* @@@ label5 Error TypeError: No matching call signature for getProperty("other field")  */
41/* @@@ label6 Error TypeError: Type '"other field"' is not compatible with type '"foo"|"field1"' at index 1  */
42