| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -7/+9 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -14/+14 |
| 2023-06-20 | Auto merge of #112835 - lcnr:proof-tree-nits, r=BoxyUwU | bors | -287/+298 |
| 2023-06-20 | inspect nits | lcnr | -147/+158 |
| 2023-06-20 | cleanup imports | lcnr | -13/+8 |
| 2023-06-20 | split probe into 2 functions for better readability | lcnr | -127/+132 |
| 2023-06-20 | Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnr | bors | -1/+5 |
| 2023-06-20 | Add rustc_do_not_implement_via_object | Michael Goulet | -1/+5 |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -6/+6 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -14/+14 |
| 2023-06-19 | Don't consider TAIT normalizable to hidden ty if it would result in impossibl... | Michael Goulet | -8/+29 |
| 2023-06-19 | create module so that RUSTC_LOG can filter to just proof trees | Boxy | -1/+9 |
| 2023-06-19 | allow caller to force proof tree generation | Boxy | -72/+89 |
| 2023-06-19 | show normalizes-to hack and response instantiation goals | Boxy | -16/+43 |
| 2023-06-19 | introduce a separate set of types for finalized proof trees | Boxy | -160/+296 |
| 2023-06-19 | dont use a trait | Boxy | -139/+116 |
| 2023-06-19 | say what kind of cache hit | Boxy | -8/+14 |
| 2023-06-19 | add -Z flag | Boxy | -3/+11 |
| 2023-06-19 | initial info dump | Boxy | -406/+763 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -2/+1 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -2/+1 |
| 2023-06-17 | Auto merge of #108860 - oli-obk:tait_alias, r=compiler-errors | bors | -3/+25 |
| 2023-06-16 | Rollup merge of #112665 - compiler-errors:assumption-takes-clause, r=lcnr | Michael Goulet | -26/+32 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -3/+25 |
| 2023-06-16 | Rollup merge of #112443 - compiler-errors:next-solver-opportunistically-resol... | Dylan DPC | -3/+23 |
