1/* 2 * Copyright (c) 2023-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 16class X { } 17function id<T extends string | number | X>(x: T) { return x } 18 19function id_s(x: string) { return id(x) } 20function id_sx(x: string | X) { return id(x) } 21 22function main() { 23 let x = new X(); 24 25 assertEQ(id(1.1), 1.1) 26 assertEQ(id("a"), "a") 27 assertEQ(id(x), x) 28 29 assertEQ(id_s("a"), "a") 30 assertEQ(id_sx(x), x) 31} 32