-
Draft: add support for conditional assignment (branchless code) (fix #19448) 5 of 6 checklist items completed!11315
-
Concreteness: emit "ki ~ TYPE alpha" 0 of 1 checklist item completed!11313
-
Draft: Use checkTyEqRhs to make types concrete 0 of 2 checklist items completed!11308
-
Draft: implement the new generalisation defaulting plan 0 of 1 checklist item completed!11237
-
Make catch#, keepAlive#... only levity polymorphic 0 of 4 checklist items completed!11229
-
Draft: approximateWC: don't float higher TcLevel metas 0 of 2 checklist items completed!11227
-
Draft: Reset solver state on failed defaulting proposal 0 of 3 checklist items completed!11195