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 16type A<T,C,U> = T | T[] | A<C,U,T>[]; 17 18function check(a: A<string, Int, Boolean>) { 19 assert((a as A<Int,Boolean,string>[])[0] as Int == 1 as Int); 20 assert((a as A<Int,Boolean,string>[])[1] as Int == 2 as Int); 21 assert(((a as A<Int,Boolean,string>[])[2] as A<Boolean, string, Int>[])[0] == true as Boolean); 22 assert(((a as A<Int,Boolean,string>[])[2] as A<Boolean, string, Int>[])[1] == false as Boolean); 23 assert((((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}