• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1/*
2* Copyright (c) Microsoft Corporation. All rights reserved.
3* Copyright (c) 2023 Huawei Device Co., Ltd.
4* Licensed under the Apache License, Version 2.0 (the "License");
5* you may not use this file except in compliance with the License.
6* You may obtain a copy of the License at
7*
8*     http://www.apache.org/licenses/LICENSE-2.0
9*
10* Unless required by applicable law or agreed to in writing, software
11* distributed under the License is distributed on an "AS IS" BASIS,
12* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13* See the License for the specific language governing permissions and
14* limitations under the License.
15*
16* This file has been modified by Huawei to verify type inference by adding verification statements.
17*/
18
19// === tests/cases/conformance/interfaces/declarationMerging/mergedInterfacesWithMultipleBases3.ts ===
20declare function AssertType(value:any, type:string):void;
21
22// merged interfaces behave as if all extends clauses from each declaration are merged together
23// no errors expected
24
25class C<T> {
26    a: T;
27}
28
29class C2<T> {
30    b: T;
31}
32
33class C3<T> {
34    c: T;
35}
36
37class C4<T> {
38    d: T;
39}
40
41interface A<T> extends C<string>, C3<string> {
42    y: T;
43}
44
45interface A<T> extends C<string>, C4<string> {
46    z: T;
47}
48
49class D implements A<boolean> {
50    a: string;
51    b: Date;
52    c: string;
53    d: string;
54    y: boolean;
55    z: boolean;
56}
57
58