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/classes/propertyMemberDeclarations/memberFunctionDeclarations/staticFactory1.ts === 20declare function AssertType(value:any, type:string):void; 21class Base { 22 foo() { 23AssertType(1, "int"); 24return 1; 25} 26 27 static create() { 28AssertType(new this(), "Base"); 29AssertType(this, "typeof Base"); 30 return new this(); 31 } 32} 33 34class Derived extends Base { 35 foo() { 36AssertType(2, "int"); 37return 2; 38} 39} 40let d = Derived.create(); 41AssertType(d, "Base"); 42AssertType(Derived.create(), "Base"); 43AssertType(Derived.create, "() => Base"); 44 45d.foo(); 46AssertType(d.foo(), "number"); 47AssertType(d.foo, "() => number"); 48 49 50