Skip to content
GitLab

Drop the app invariant

Closed Joachim Breitner requested to merge wip/joachim/no-app-invariant into master

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