[flow analysis] Rework demotion and type of interest promotion.#4370

Open

stereotype441 wants to merge 3 commits intodart-lang:mainfrom

stereotype441:b_60646_1

Commits on May 9, 2025

[flow analysis] Rework demotion and type of interest promotion.
stereotype441
committed

Commits on May 13, 2025

Address review comments
stereotype441
committed

Commits on May 15, 2025

Address further review comments
stereotype441
committed