| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-05-25 | Match on both reveal and solver mode at the same time | Michael Goulet | -41/+38 |
| 2023-05-25 | Add InferCtxt::register_hidden_type_in_new_solver | Michael Goulet | -3/+7 |
| 2023-05-25 | Pre-populate MIR with opaques, prefer subst-relate candidate | Michael Goulet | -6/+3 |
| 2023-05-25 | Check that opaque is a defining use, prefer pre-defined opaques | Michael Goulet | -12/+45 |
| 2023-05-25 | Prepopulate opaques in canonical input | Michael Goulet | -13/+5 |
| 2023-05-25 | Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu... | Michael Goulet | -0/+44 |
