| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -145/+136 |
| 2023-07-13 | Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwU | Matthias Krüger | -27/+21 |
| 2023-07-13 | Auto merge of #113637 - Mark-Simulacrum:bootstrap-bump, r=ozkanonur | bors | -98/+89 |
| 2023-07-13 | Rollup merge of #113353 - compiler-errors:select-better, r=lcnr | Matthias Krüger | -1/+144 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -98/+89 |
| 2023-07-10 | avoid building proof trees in select | lcnr | -27/+21 |
| 2023-07-08 | Rollup merge of #113335 - compiler-errors:reveal-opaques-in-new-solver, r=lcnr | Matthias Krüger | -3/+1 |
| 2023-07-08 | Implement selection for unsize for better coercion behavior | Michael Goulet | -1/+144 |
| 2023-07-07 | Normalize opaques during codegen in new solver | Michael Goulet | -3/+1 |
| 2023-07-07 | Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472 | bors | -7/+2 |
| 2023-07-07 | Auto merge of #113308 - compiler-errors:poly-select, r=lcnr | bors | -3/+3 |
| 2023-07-06 | Rollup merge of #113397 - compiler-errors:new-select-prefer-obj, r=lcnr | Michael Goulet | -0/+8 |
| 2023-07-06 | Don't call type_of on TAIT in defining scope in new solver | Michael Goulet | -1/+28 |
| 2023-07-06 | Separate select calls that don't need a binder | Michael Goulet | -1/+1 |
| 2023-07-06 | TraitObligation -> PolyTraitObligation | Michael Goulet | -3/+3 |
| 2023-07-06 | add helper methods for accessing struct tail | Lukas Markeffsky | -7/+2 |
| 2023-07-06 | Auto merge of #113406 - matthiaskrgr:rollup-0rprs5k, r=matthiaskrgr | bors | -4/+6 |
| 2023-07-06 | Prefer object candidates over impl candidates in new selection | Michael Goulet | -0/+8 |
| 2023-07-06 | Dont ICE for `dyn* Trait: Trait` goals during selection in new trait solver | Michael Goulet | -4/+6 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -10/+10 |
| 2023-07-05 | Rollup merge of #113337 - compiler-errors:next-solver-winnow-specializing, r=... | Michael Goulet | -2/+13 |
| 2023-07-05 | Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk | Michael Goulet | -0/+2 |
| 2023-07-05 | Winnow specializing impls | Michael Goulet | -2/+13 |
| 2023-07-05 | Auto merge of #113329 - lcnr:probe_candidate, r=BoxyUwU | bors | -298/+280 |
| 2023-07-04 | Auto merge of #113330 - matthiaskrgr:rollup-zm3owin, r=matthiaskrgr | bors | -41/+161 |
| 2023-07-04 | Rollup merge of #113324 - lcnr:const-evaluatable-goal, r=BoxyUwU | Matthias Krüger | -6/+42 |
| 2023-07-04 | Rollup merge of #113296 - BoxyUwU:proof_trees_on_error, r=lcnr | Matthias Krüger | -31/+106 |
| 2023-07-04 | Rollup merge of #113192 - lcnr:add-comment, r=compiler-errors | Matthias Krüger | -4/+13 |
| 2023-07-04 | add `ecx.probe_candidate` | lcnr | -298/+280 |
| 2023-07-04 | reviews | Boxy | -83/+79 |
| 2023-07-04 | implement `ConstEvaluatable` goals in new solver | lcnr | -6/+42 |
| 2023-07-04 | Replace `const_error` methods with `Const::new_error` | Boxy | -6/+5 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -4/+4 |
| 2023-07-04 | move logic for flags into separate function | Boxy | -30/+35 |
| 2023-07-04 | change flag name | Boxy | -1/+1 |
| 2023-07-04 | reviews | Boxy | -3/+1 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -0/+2 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -3/+0 |
| 2023-07-03 | add flag for disabling global cache and printing proof trees on error | Boxy | -45/+121 |
| 2023-07-03 | Helpers for creating EvalCtxts, some comments | Michael Goulet | -153/+174 |
| 2023-07-03 | Implement selection in new trait solver | Michael Goulet | -20/+346 |
| 2023-07-03 | rebase | lcnr | -2/+2 |
| 2023-07-03 | review | lcnr | -14/+12 |
| 2023-07-03 | add deep normalization via the new solver | lcnr | -0/+224 |
| 2023-07-03 | add instrument to `register_predicate_obligation` | lcnr | -0/+1 |
| 2023-07-01 | Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors | bors | -3/+11 |
| 2023-06-30 | assemble_candidates_after_normalizing_self_ty docs | lcnr | -4/+13 |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -3/+11 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -3/+2 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -21/+11 |
