| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-03 | `deeply_normalize` pass in fulfill cx for old solver | lcnr | -12/+15 |
| 2023-07-03 | use `deeply_normalize` for `assumed_wf_types` | lcnr | -10/+26 |
| 2023-07-03 | add deep normalization via the new solver | lcnr | -6/+280 |
| 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 | -82/+59 |
| 2023-06-30 | assemble_candidates_after_normalizing_self_ty docs | lcnr | -4/+13 |
| 2023-06-29 | Auto merge of #113108 - compiler-errors:normalize-opaques-with-late-bound-var... | bors | -11/+2 |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -82/+59 |
| 2023-06-28 | convert to fluent, make plurals work | Michael Goulet | -11/+48 |
| 2023-06-28 | Do not suggest adjusting trait signature on type mismatch | Michael Goulet | -0/+4 |
| 2023-06-28 | reword message to be less vague | Michael Goulet | -2/+2 |
| 2023-06-28 | Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnr | Dylan DPC | -66/+43 |
| 2023-06-27 | Don't sort strings right after we just sorted by types | Michael Goulet | -27/+31 |
| 2023-06-27 | Normalize opaques with escaping bound vars | Michael Goulet | -11/+2 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -16/+20 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -134/+90 |
| 2023-06-24 | use Const::eval instead of QueryNormalize in error reporting | Michael Goulet | -25/+23 |
| 2023-06-23 | Rollup merge of #112965 - compiler-errors:circular-wf, r=aliemjay | Michael Goulet | -2/+10 |
| 2023-06-23 | Rollup merge of #112870 - compiler-errors:clause-2, r=oli-obk | Matthias Krüger | -15/+15 |
| 2023-06-23 | Resolve vars when reporting WF error | Michael Goulet | -0/+1 |
| 2023-06-23 | Don't emit same goal as input during wf obligations | Michael Goulet | -2/+9 |
| 2023-06-22 | Avoid guessing unknown trait impl in suggestions | Alexander Zhang | -6/+10 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -15/+15 |
| 2023-06-22 | Auto merge of #112686 - estebank:sealed-traits, r=petrochenkov | bors | -0/+26 |
| 2023-06-22 | Account for sealed traits in trait bound errors | Esteban Küber | -0/+26 |
| 2023-06-21 | Don't substitute a GAT that has mismatched generics in OpaqueTypeCollector | Michael Goulet | -45/+46 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -136/+145 |
| 2023-06-20 | yeet upcast_trait_def_id from ImplSourceObjectData | Michael Goulet | -6/+2 |
| 2023-06-20 | yeet ImplSource::TraitAlias too | Michael Goulet | -11/+7 |
| 2023-06-20 | Remove unnecessary call to select_from_obligation | Michael Goulet | -49/+34 |
| 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/+13 |
| 2023-06-20 | Merge attrs, better validation | Michael Goulet | -0/+8 |
| 2023-06-20 | Add rustc_do_not_implement_via_object | Michael Goulet | -1/+5 |
| 2023-06-19 | Rollup merge of #112781 - compiler-errors:new-solver-tait-overlaps-hidden, r=... | Michael Goulet | -8/+29 |
| 2023-06-19 | Rollup merge of #112783 - compiler-errors:nlb-fnptr-reject-ice, r=fee1-dead | Matthias Krüger | -5/+3 |
| 2023-06-19 | Rollup merge of #112777 - compiler-errors:normalize-weak-more, r=oli-obk | Matthias Krüger | -2/+6 |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -6/+6 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -136/+145 |
| 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 |
