| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-06-02 | add WellFormedConst predicate | Bastian Kauschke | -2/+2 |
| 2020-05-17 | Put lazy normalization behind a feature gate | Ben Lewis | -0/+1 |
| 2020-04-14 | typeck: workaround WF hole in `to_const`. | Eduard-Mihai Burtescu | -2/+1 |
| 2019-12-23 | Add test for issue-66205 | Yuki Okushi | -0/+10 |
