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/flowAfterFinally1.ts === 20declare function AssertType(value:any, type:string):void; 21declare function openFile(): void 22declare function closeFile(): void 23declare function someOperation(): {} 24 25let result: { 26AssertType(result, "{}"); 27} 28 29openFile() 30AssertType(openFile(), "void"); 31AssertType(openFile, "() => void"); 32 33try { 34 result = someOperation() 35AssertType(result = someOperation(), "{}"); 36AssertType(result, "{}"); 37AssertType(someOperation(), "{}"); 38AssertType(someOperation, "() => {}"); 39 40} finally { 41 closeFile() 42AssertType(closeFile(), "void"); 43AssertType(closeFile, "() => void"); 44} 45 46result // should not error here 47AssertType(result, "{}"); 48 49 50