# Bug Report <!-- Please fill in each section completely. Thank you! --> ### π Search Terms <!-- What search terms did you use when trying to find an existing bug report? List them here so people in the future can find this one more easily. --> locations where its type cannot be determined ### π Version & Regression Information <!-- When did you start seeing this bug occur? "Bugs" that have existed in TS for a long time are very likely to be FAQs; refer to https://github.com/Microsoft/TypeScript/wiki/FAQ#common-bugs-that-arent-bugs If possible, please try testing the nightly version of TS to see if it's already been fixed. For npm: `typescript@next` This is also the 'Nightly' version in the playground: http://www.typescriptlang.org/play/?ts=Nightly Note: The TypeScript Playground can be used to try older versions of TypeScript. Please keep and fill in the line that best applies: --> - This changed between versions 4.9 and 5.0 ### β― Playground Link <!-- A link to a TypeScript Playground "Share" link which shows this behavior The TypeScript Workbench can be used for more complex setups, try https://www.typescriptlang.org/dev/bug-workbench/ As a last resort, you can link to a repo, but these will be slower for us to investigate. --> [Playground link with relevant code](https://www.typescriptlang.org/play?#code/PTAEFkE9QYwewCYFNQHM5IM6gBZIE5JA) ### π» Code <!-- Please post the relevant code sample here as well--> ```ts repro let foo; try { if (Math.random() > 0.5) { foo = 1234; } } catch { foo; } ``` ### π Actual behavior <!-- What happened, and why it was wrong --> Errors like: ``` Variable 'foo' implicitly has type 'any' in some locations where its type cannot be determined.(7034) ``` ### π Expected behavior No errors