Work in progress towards fixing #20554 (closed).
Go through all existing mentions of the app-invariant and edit
needsCaseBindinginstead of a complex expression everywhere
Change “let invariant” to “let-can-float invariant”
Investigate the +13% compile time regression.
Rebase, squash and write a nice commit message
Don’t enforce the invariant for