This PR doesn't have any linked issues. Please open an issue that references this PR. From there we can discuss and prioritise.

Fixes nothing

🤣

This isn't an any, it's an evolving let. By the time it's read at the bottom of the function, it's been assigned on all CFA branches, and has the expected type. If we were to read it before definite initialization, it'd be an implicit any, and if an incorrect type were written to it, we'd get a type error at the call to createVariableDeclarationList.

it's been assigned on all CFA branches. and has the expected type.

Okay. It's seems a expected any here.