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/unionReductionMutualSubtypes.ts === 20declare function AssertType(value:any, type:string):void; 21// Repro from #35414 22 23interface ReturnVal { 24 something(): void; 25} 26 27const k: ReturnVal = { something() { } 28AssertType(k, "ReturnVal"); 29 30AssertType({ something() { } }, "{ something(): void; }"); 31 32AssertType(something, "() => void"); 33} 34 35declare const val: ReturnVal; 36AssertType(val, "ReturnVal"); 37 38function run(options: { something?(b?: string): void }) { 39 const something = options.something ?? val.something; 40AssertType(something, "(?union) => void"); 41AssertType(options.something ?? val.something, "(?union) => void"); 42AssertType(options.something, "union"); 43AssertType(val.something, "() => void"); 44 45 something(''); 46AssertType(something(''), "void"); 47AssertType(something, "(?union) => void"); 48AssertType('', "string"); 49} 50 51 52