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/types/typeAliases/classDoesNotDependOnBaseTypes.ts === 20declare function AssertType(value:any, type:string):void; 21type StringTree = string | StringTreeCollection; 22class StringTreeCollectionBase { 23 [n: number]: StringTree; 24} 25 26class StringTreeCollection extends StringTreeCollectionBase { } 27 28let x: StringTree; 29AssertType(x, "StringTree"); 30 31if (typeof x !== "string") { 32 x[0] = ""; 33AssertType(x[0] = "", "string"); 34AssertType(x[0], "StringTree"); 35AssertType(x, "StringTreeCollection"); 36AssertType(0, "int"); 37AssertType("", "string"); 38 39 x[0] = new StringTreeCollection; 40AssertType(x[0] = new StringTreeCollection, "StringTreeCollection"); 41AssertType(x[0], "StringTree"); 42AssertType(x, "StringTreeCollection"); 43AssertType(0, "int"); 44AssertType(new StringTreeCollection, "StringTreeCollection"); 45AssertType(StringTreeCollection, "typeof StringTreeCollection"); 46} 47 48