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/propertySignatures/propertyNameWithoutTypeAnnotation.ts === 20declare function AssertType(value:any, type:string):void; 21class C { 22 foo; 23} 24 25interface I { 26 foo; 27} 28 29let a: { 30AssertType(a, "{ foo: any; }"); 31 32 foo; 33AssertType(foo, "any"); 34} 35 36let b = { 37AssertType(b, "{ foo: any; }"); 38AssertType({ foo: null}, "{ foo: null; }"); 39 40 foo: null 41AssertType(foo, "null"); 42AssertType(null, "null"); 43} 44 45// These should all be of type 'any' 46let r1 = (new C()).foo; 47AssertType(r1, "any"); 48AssertType((new C()).foo, "any"); 49 50let r2 = (<I>null).foo; 51AssertType(r2, "any"); 52AssertType((<I>null).foo, "any"); 53 54let r3 = a.foo; 55AssertType(r3, "any"); 56AssertType(a.foo, "any"); 57 58let r4 = b.foo; 59AssertType(r4, "any"); 60AssertType(b.foo, "any"); 61 62 63