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/compiler/reverseMappedTypeAssignableToIndex.ts === 20declare function AssertType(value:any, type:string):void; 21 22// Simple mapped type and inferrence 23type Mapped<T> = { [K in keyof T]: { name: T[K] } }; 24type InferFromMapped<T> = T extends Mapped<infer R> ? R : never; 25 26// Object literal type and associated mapped type 27// Note that in the real code we don't have a direct reference to LiteralType 28type LiteralType = { 29 first: "first"; 30 second: "second"; 31} 32type MappedLiteralType = { 33 first: { name: "first" }, 34 second: { name: "second" }, 35}; 36 37type Inferred = InferFromMapped<MappedLiteralType>; 38 39// UNEXPECTED resolves to false 40type Test1 = Inferred extends Record<any, string> ? true : false; 41 42