1/* 2* Copyright (c) Microsoft Corporation. All rights reserved. 3* Copyright (c) 2023 Huawei Device Co., Ltd. 4* Licensed under the Apache License, Version 2.0 (the "License"); 5* you may not use this file except in compliance with the License. 6* You may obtain a copy of the License at 7* 8* http://www.apache.org/licenses/LICENSE-2.0 9* 10* Unless required by applicable law or agreed to in writing, software 11* distributed under the License is distributed on an "AS IS" BASIS, 12* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13* See the License for the specific language governing permissions and 14* limitations under the License. 15* 16* This file has been modified by Huawei to verify type inference by adding verification statements. 17*/ 18 19// === tests/cases/conformance/types/objectTypeLiteral/callSignatures/typeParameterAsTypeArgument.ts === 20declare function AssertType(value:any, type:string):void; 21// These are all errors because type parameters cannot reference other type parameters from the same list 22 23function foo<T, U>(x: T, y: U) { 24 foo<U, U>(y, y); 25AssertType(foo<U, U>(y, y), "C<U, U>"); 26AssertType(foo, "<T, U>(T, U) => C<U, T>"); 27AssertType(y, "U"); 28AssertType(y, "U"); 29 30AssertType(new C<U,T>(), "C<U, T>"); 31AssertType(C, "typeof C"); 32 return new C<U,T>(); 33} 34 35class C<T, U> { 36 x: T; 37} 38 39interface I<T, U> { 40 x: C<U, T>; 41} 42 43 44