1/* 2* Copyright (c) 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 low 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 sum(...numbers: [number, number, number]): number { 17 return numbers[0] + numbers[1] + numbers[2] 18} 19 20/* @@ label1 */sum(/* @@ label2 */10, 20, "one") 21 22/* @@@ label1 Error TypeError: No matching call signature for sum(int, int, "one") */ 23/* @@@ label2 Error TypeError: Type 'int' is not compatible with type 'double' at index 1 */ 24