Immediately-executed callback function not considered when refining type.

[bluepnume]

Bug Report

let foo = false;

[ 1, 2, 3 ].map(() => {
  foo = true;
});

type Foo = typeof foo;

// Foo resolves to `false`

Ideally Foo should resolve to boolean here

🔎 Search Terms

typescript immedately executed callback refine type

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about immediately-executed callback functions

⏯ Playground Link

Playground link with relevant code

💻 Code

let foo = false;

[ 1, 2, 3 ].map(() => {
  foo = true;
});

type Foo = typeof foo;

// Foo resolves to `false`

🙁 Actual behavior

Foo resolved to false, even though the runtime value is true

🙂 Expected behavior

Foo should resolve to boolean - since TypeScript does not intrinsically know if a callback will be called immediately or asynchronously.

[MartinJohns]

Duplicate of #11498. Relevant: #9998

[typescript-bot]

This issue has been marked as a 'Duplicate' and has seen no recent activity. It has been automatically closed for house-keeping purposes.