• 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/es6/classDeclaration/superCallBeforeThisAccessing1.ts ===
20declare function AssertType(value:any, type:string):void;
21declare let Factory: any
22AssertType(Factory, "any");
23
24class Base {
25    constructor(c) { }
26}
27class D extends Base {
28    private _t;
29    constructor() {
30        super(i);
31AssertType(super(i), "void");
32AssertType(super, "typeof Base");
33AssertType(i, "any");
34
35        let s = {
36AssertType(s, "{ t: any; }");
37AssertType({            t: this._t        }, "{ t: any; }");
38
39            t: this._t
40AssertType(t, "any");
41AssertType(this._t, "any");
42AssertType(this, "this");
43        }
44        let i = Factory.create(s);
45AssertType(i, "any");
46AssertType(Factory.create(s), "any");
47AssertType(Factory.create, "any");
48AssertType(s, "{ t: any; }");
49    }
50}
51
52
53