14514f5e3Sopenharmony_ci/*
24514f5e3Sopenharmony_ci * Copyright (c) 2023 Huawei Device Co., Ltd.
34514f5e3Sopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License");
44514f5e3Sopenharmony_ci * you may not use this file except in compliance with the License.
54514f5e3Sopenharmony_ci * You may obtain a copy of the License at
64514f5e3Sopenharmony_ci *
74514f5e3Sopenharmony_ci *     http://www.apache.org/licenses/LICENSE-2.0
84514f5e3Sopenharmony_ci *
94514f5e3Sopenharmony_ci * Unless required by applicable law or agreed to in writing, software
104514f5e3Sopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS,
114514f5e3Sopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
124514f5e3Sopenharmony_ci * See the License for the specific language governing permissions and
134514f5e3Sopenharmony_ci * limitations under the License.
144514f5e3Sopenharmony_ci */
154514f5e3Sopenharmony_ci// @ts-nocheck
164514f5e3Sopenharmony_cideclare function print(a:any):string;
174514f5e3Sopenharmony_ci
184514f5e3Sopenharmony_ci// Proxy
194514f5e3Sopenharmony_ciclass A {
204514f5e3Sopenharmony_ci    x:number;
214514f5e3Sopenharmony_ci    constructor() {
224514f5e3Sopenharmony_ci        this.x = 10;
234514f5e3Sopenharmony_ci    }
244514f5e3Sopenharmony_ci}
254514f5e3Sopenharmony_ci
264514f5e3Sopenharmony_cilet p = new Proxy(new A(), {
274514f5e3Sopenharmony_ci    get() {
284514f5e3Sopenharmony_ci        return 5;
294514f5e3Sopenharmony_ci    }
304514f5e3Sopenharmony_ci})
314514f5e3Sopenharmony_ci
324514f5e3Sopenharmony_cifunction foo(a:A) {
334514f5e3Sopenharmony_ci    print(a.x);
344514f5e3Sopenharmony_ci}
354514f5e3Sopenharmony_ci
364514f5e3Sopenharmony_cifoo(p);
374514f5e3Sopenharmony_ci
384514f5e3Sopenharmony_ci
394514f5e3Sopenharmony_ci// Undefined
404514f5e3Sopenharmony_ciclass B {
414514f5e3Sopenharmony_ci    x:number;
424514f5e3Sopenharmony_ci    static getInstance():B {
434514f5e3Sopenharmony_ci        return undefined;
444514f5e3Sopenharmony_ci    }
454514f5e3Sopenharmony_ci}
464514f5e3Sopenharmony_ci
474514f5e3Sopenharmony_citry {
484514f5e3Sopenharmony_ci    B.getInstance().x;
494514f5e3Sopenharmony_ci} catch(e) {
504514f5e3Sopenharmony_ci    print(e instanceof TypeError);
514514f5e3Sopenharmony_ci}