1/*
2 * Copyright (c) 2024 Huawei Device Co., Ltd.
3 * Licensed under the Apache License, Version 2.0 (the "License");
4 * you may not use this file except in compliance with the License.
5 * You may obtain a copy of the License at
6 *
7 * http://www.apache.org/licenses/LICENSE-2.0
8 *
9 * Unless required by applicable law or agreed to in writing, software
10 * distributed under the License is distributed on an "AS IS" BASIS,
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 * See the License for the specific language governing permissions and
13 * limitations under the License.
14 */
15
16class C {}
17
18function foo(arg?: boolean): C | undefined {
19    if (arg == undefined) {
20        return undefined;
21    }
22    return arg == false ? undefined : new C();
23}
24
25function bar(arg?: boolean): C | undefined {
26    if (arg == true) return new C();
27    return arg == false ? undefined : new C();
28}
29
30function baz(arg?: boolean): int {
31    if (arg == undefined) return 0;
32    assert (typeof arg == "boolean");
33    return 1;
34}
35
36function main() {
37    assert(foo(true) instanceof C);
38    assert(foo(false) == undefined);
39    assert(foo() == undefined);
40
41    assert(bar(true) instanceof C);
42    assert(bar(false) == undefined);
43    assert(bar() instanceof C);
44
45    assert(baz(true) == 1);
46    assert(baz(false) == 1);
47    assert(baz() == 0);
48}