• 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<T> {
17    fld: T
18    constructor(p: T) {
19        this.fld = p
20    }
21}
22
23class B {
24    fld: string = 'b'
25}
26
27class C {
28    fld: Int = 10
29}
30
31let u1: B|C = new B
32let u2: B|C = new C
33
34let u3: A<string>|A<Int> = new A<Int>(11)
35let u4: A<string>|A<Int> = new A<string>('a')
36
37function main() {
38    assertEQ(u1.fld, 'b')
39    assertEQ(u2.fld, 10)
40
41    assertEQ(u3.fld, 11)
42    assertEQ(u4.fld, 'a')
43}
44
45/* @@? 38:14 Error TypeError: Member type must be the same for all union objects. */
46/* @@? 39:14 Error TypeError: Member type must be the same for all union objects. */
47/* @@? 41:14 Error TypeError: Member type must be the same for all union objects. */
48/* @@? 42:14 Error TypeError: Member type must be the same for all union objects. */
49