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/compiler/baseTypeWrappingInstantiationChain.ts === 20declare function AssertType(value:any, type:string):void; 21class CBaseBase<T3> { 22 constructor(x: Parameter<T3>) { } 23} 24 25class CBase<T2> extends CBaseBase<Wrapper<T2>> { 26 27} 28 29class Parameter<T4> { 30 method(t: T4) { } 31} 32 33class Wrapper<T5> { 34 property: T5; 35} 36 37class C<T1> extends CBase<T1> { 38 public works() { 39 new CBaseBase<Wrapper<T1>>(this); 40AssertType(new CBaseBase<Wrapper<T1>>(this), "CBaseBase<Wrapper<T1>>"); 41AssertType(CBaseBase, "typeof CBaseBase"); 42AssertType(this, "this"); 43 } 44 public alsoWorks() { 45 new CBase<T1>(this); // Should not error, parameter is of type Parameter<Wrapper<T1>> 46AssertType(new CBase<T1>(this), "CBase<T1>"); 47AssertType(CBase, "typeof CBase"); 48AssertType(this, "this"); 49 } 50 51 public method(t: Wrapper<T1>) { } 52} 53 54 55