1/*
2 * Copyright (c) 2021-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
16function refInt(a: Int): void {}
17
18function main() : void {
19    let a: Short = new Short(3); // 3 is int, invocation context won't allow primitive narrowing
20    let b: short = 2;
21    let c: short = -b; // due to unary operator promotion, '-b' will be int, which is not assignable
22    let d: short = b | b; // due to binary operator promotion, 'b | b' will be int, which is not assignable
23    refInt(b); // primitive widening before boxing is not allowed
24}
25
26/* @@? 19:20 Error TypeError: No matching construct signature for std.core.Short(int)  */
27/* @@? 21:20 Error TypeError: Type 'int' cannot be assigned to type 'short'  */
28/* @@? 22:20 Error TypeError: Type 'int' cannot be assigned to type 'short'  */
29