| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-07-14 | Auto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnr | bors | -1/+15 |
| 2023-07-14 | assertion, comment | Michael Goulet | -0/+4 |
| 2023-07-14 | Allow escaping bound vars during normalize_erasing_regions in new solver | Michael Goulet | -1/+11 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -1/+1 |
| 2023-07-07 | Normalize opaques during codegen in new solver | Michael Goulet | -3/+1 |
| 2023-07-05 | Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk | Michael Goulet | -0/+2 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -2/+2 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -0/+2 |
| 2023-07-03 | rebase | lcnr | -1/+1 |
| 2023-07-03 | review | lcnr | -14/+12 |
| 2023-07-03 | add deep normalization via the new solver | lcnr | -0/+222 |
