ee1161d3 · Add regression test for #18467 · Jan 02, 2021

99961971 · Don't use absentError thunks for strict constructor fields · Jan 01, 2021

4b0a2641 · Establish invariant (GivenInv) · Dec 28, 2020

e9cc41df · Use mutable update to defer out-of-scope errors · Dec 24, 2020

6bd0157d · Test cases for #15772 and #17139. · Dec 24, 2020

04e664a1 · Require ScopedTypeVariables+TypeApplications to use type applications in patterns · Dec 23, 2020

9e289a33 · X86.Instr: Strictness · Dec 22, 2020

dc7e5aea · Clone the binders of a SAKS where necessary · Dec 22, 2020

5abaff76 · Document scoping of named wildcard type variables · Dec 22, 2020

621ed109 · Working around a bug to do with optCoercion · Dec 21, 2020