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/es6/classDeclaration/superCallBeforeThisAccessing8.ts === 20declare function AssertType(value:any, type:string):void; 21class Base { 22 constructor(c) { } 23} 24class D extends Base { 25 private _t; 26 constructor() { 27 let x = { 28AssertType(x, "{ k: void; j: any; }"); 29AssertType({ k: super(undefined), j: this._t, // no error }, "{ k: void; j: any; }"); 30 31 k: super(undefined), 32AssertType(k, "void"); 33AssertType(super(undefined), "void"); 34AssertType(super, "typeof Base"); 35AssertType(undefined, "undefined"); 36 37 j: this._t, // no error 38AssertType(j, "any"); 39AssertType(this._t, "any"); 40AssertType(this, "this"); 41 } 42 } 43} 44 45 46