Drop the app invariant
Work in progress towards fixing #20554 (closed).
Known TODOs:
-
Go through all existing mentions of the app-invariant and edit -
Use needsCaseBinding
instead 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 SimplFloat
/LetFloats
Edited by Joachim Breitner