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/expressions/contextualTyping/superCallParameterContextualTyping1.ts === 20declare function AssertType(value:any, type:string):void; 21class A<T1, T2> { 22 constructor(private map: (value: T1) => T2) { 23 24 } 25} 26 27class B extends A<number, string> { 28 // Ensure 'value' is of type 'number (and not '{}') by using its 'toExponential()' method. 29 constructor() { super(value => String(value.toExponential())); 30AssertType(super(value => String(value.toExponential())), "void"); 31 32AssertType(super, "typeof A"); 33 34AssertType(value => String(value.toExponential()), "(number) => string"); 35 36AssertType(value, "number"); 37 38AssertType(String(value.toExponential()), "string"); 39 40AssertType(String, "StringConstructor"); 41 42AssertType(value.toExponential(), "string"); 43 44AssertType(value.toExponential, "(?number) => string"); 45} 46} 47 48 49