| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-03 | Nits and formatting | Michael Goulet | -7/+3 |
| 2024-06-03 | Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w... | Michael Goulet | -2/+2 |
| 2024-06-03 | Use ScrubbedTraitError in more places | Michael Goulet | -7/+5 |
| 2024-06-03 | Make TraitEngines generic over error | Michael Goulet | -3/+8 |
| 2024-05-21 | Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from... | Michael Goulet | -2/+1 |
| 2024-05-13 | Auto merge of #125076 - compiler-errors:alias-term, r=lcnr | bors | -1/+1 |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -1/+1 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 |
| 2024-05-10 | Lift `Lift` | Michael Goulet | -1/+3 |
| 2024-05-02 | Use ObligationCtxt in favor of TraitEngine in many places | Michael Goulet | -15/+17 |
| 2024-04-29 | Remove `extern crate rustc_macros` from numerous crates. | Nicholas Nethercote | -0/+4 |
| 2024-04-08 | Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnr | bors | -43/+60 |
| 2024-04-08 | Scrape extraneous regions from instantiate_nll_query_response_and_region_obli... | Oli Scherer | -43/+60 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -3/+3 |
| 2024-04-04 | Rename HAS_PROJECTIONS to HAS_ALIASES etc. | León Orell Valerian Liehr | -1/+1 |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -1/+1 |
| 2024-03-14 | use a let chain | Lukas Markeffsky | -7/+4 |
| 2024-03-05 | Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult` | Jason Newcomb | -14/+5 |
| 2024-02-22 | Auto merge of #119989 - lcnr:sub_relations-bye-bye, r=compiler-errors | bors | -1/+6 |
| 2024-02-22 | Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnr | Matthias Krüger | -2/+4 |
| 2024-02-22 | overflow errors: change source to a concrete enum | lcnr | -1/+6 |
| 2024-02-22 | Preserve the `Span` from `prove_predicate` all the way to registering opaque ... | Oli Scherer | -2/+4 |
| 2024-02-21 | Rollup merge of #121208 - nnethercote:delayed_bug-to-bug, r=lcnr | Dylan DPC | -4/+3 |
| 2024-02-21 | Convert `bug`s back to `delayed_bug`s. | Nicholas Nethercote | -1/+1 |
| 2024-02-21 | Convert `delayed_bug`s to `bug`s. | Nicholas Nethercote | -5/+4 |
| 2024-02-20 | Rename some normalization-related items | León Orell Valerian Liehr | -8/+8 |
| 2024-02-19 | split `project` into multiple files | lcnr | -2/+3 |
| 2024-02-16 | Nits | Michael Goulet | -0/+6 |
| 2024-02-16 | Move trait into attr so it's greppable | Michael Goulet | -4/+4 |
| 2024-02-16 | Use extension trait derive | Michael Goulet | -43/+7 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -2/+2 |
| 2024-02-09 | Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnr | Matthias Krüger | -1/+22 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -0/+20 |
| 2024-02-05 | extend docs for `predicate_must_hold_considering_regions` | Lukas Markeffsky | -1/+22 |
| 2024-01-23 | Random type checker changes | Michael Goulet | -34/+12 |
| 2024-01-19 | use implied bounds compat mode in MIR borrowck | lcnr | -2/+10 |
| 2024-01-17 | Don't use compat versions of implied bounds in ImpliedOutlivesBounds query | Jack Huey | -2/+2 |
| 2024-01-17 | Correctly handle normalization in implied bounds | Ali MJ Al-Nasrawy | -3/+83 |
| 2024-01-16 | try fast path for wf type ops | Ali MJ Al-Nasrawy | -0/+17 |
| 2024-01-16 | wf-check type annotations before normalization | Ali MJ Al-Nasrawy | -22/+32 |
| 2024-01-12 | Remove unused ErrorReporting variant from overflow handling | Michael Goulet | -2/+0 |
| 2024-01-10 | Rename consuming chaining methods on `DiagnosticBuilder`. | Nicholas Nethercote | -0/+1 |
| 2024-01-10 | Add `DiagCtxt::delayed_bug`. | Nicholas Nethercote | -10/+6 |
| 2024-01-09 | Auto merge of #118968 - aliemjay:canon-static, r=lcnr | bors | -14/+4 |
| 2024-01-08 | Don't check for recursion in generator witness fields | Michael Goulet | -8/+5 |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -1/+1 |
| 2023-12-24 | Remove `Session` methods that duplicate `DiagCtxt` methods. | Nicholas Nethercote | -7/+7 |
| 2023-12-15 | Annotate some bugs | Michael Goulet | -2/+4 |
| 2023-12-15 | unify query canonicalization mode | Ali MJ Al-Nasrawy | -14/+4 |
| 2023-12-14 | consistently use "next solver" instead of "new solver" | lcnr | -9/+9 |
