1/* 2 * Copyright (c) 2024-2025 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 16type A<T,C,U> = T | T[] | A<C,U,T>[]; 17 18function check(a: A<string, Int, Boolean>) { 19 assertEQ((a as A<Int,Boolean,string>[])[0] as Int, 1 as Int) 20 assertEQ((a as A<Int,Boolean,string>[])[1] as Int, 2 as Int) 21 assertEQ(((a as A<Int,Boolean,string>[])[2] as A<Boolean, string, Int>[])[0], true as Boolean) 22 assertEQ(((a as A<Int,Boolean,string>[])[2] as A<Boolean, string, Int>[])[1], false as Boolean) 23 assertEQ((((a as A<Int,Boolean,string>[])[2] as A<Boolean, string, Int>[])[2] as A<string, Int, Boolean>[])[0], "test") 24} 25 26function main(): int { 27 let a: A<string, Int, Boolean> = "test"; 28 29 a = [1 as Int, 2 as Int, [true as Boolean, false as Boolean, [a] as A<string, Int, Boolean>[]] as A<Boolean, string, Int>[]] as A<Int, Boolean, string>[]; 30 31 check(a); 32 33 return 0; 34}