| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-12-02 | Assert that obligations are empty before deeply normalizing | Michael Goulet | -0/+3 |
| 2024-12-02 | Deeply normalize when computing implied outlives bounds | Michael Goulet | -3/+4 |
| 2024-11-28 | support revealing defined opaque post borrowck | lcnr | -3/+3 |
| 2024-11-23 | no more Reveal :( | lcnr | -5/+5 |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -8/+15 |
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -1/+1 |
| 2024-10-31 | normalization folders, yeet `ParamEnv::reveal` | lcnr | -9/+11 |
| 2024-10-29 | TypingMode :thinking: | lcnr | -1/+0 |
| 2024-10-27 | Remove ObligationCause::span() method | Michael Goulet | -1/+1 |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -0/+2 |
| 2024-10-19 | Rename normalize to normalize_internal, remove unnecessary usages | Michael Goulet | -1/+1 |
| 2024-10-17 | move `defining_opaque_types` out of `Canonical` | lcnr | -20/+20 |
| 2024-10-17 | `DropckOutlives` to `rustc_middle` | lcnr | -26/+8 |
| 2024-10-17 | `ImpliedOutlivesBounds` to `rustc_middle` | lcnr | -14/+1 |
| 2024-10-12 | Swap Vec<PredicateObligation> to type alias | GnomedDev | -9/+11 |
| 2024-09-25 | Compiler: Rename "object safe" to "dyn compatible" | León Orell Valerian Liehr | -2/+2 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -18/+18 |
| 2024-09-13 | Rename and reorder lots of lifetimes. | Nicholas Nethercote | -5/+5 |
| 2024-08-30 | Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+5 |
| 2024-08-18 | Fix order of normalization and recursion in const folding. | Luca Versari | -4/+4 |
| 2024-08-15 | Rollup merge of #129078 - lcnr:scrape_region_constraints-use-ocx, r=compiler-... | Jubilee | -35/+3 |
| 2024-08-15 | Rollup merge of #129106 - compiler-errors:unused-type-ops, r=jieyouxu | Matthias Krüger | -65/+0 |
| 2024-08-14 | Remove redundant type ops | Michael Goulet | -65/+0 |
| 2024-08-14 | if we have an `ocx`, use it | lcnr | -35/+3 |
| 2024-08-14 | Auto merge of #129076 - matthiaskrgr:rollup-rg8mi2x, r=matthiaskrgr | bors | -2/+2 |
| 2024-08-13 | Use is_lang_item more | Michael Goulet | -2/+2 |
| 2024-08-09 | Shrink `TyKind::FnPtr`. | Nicholas Nethercote | -2/+2 |
| 2024-07-31 | Add special-case for [T, 0] in dropck | Bryanskiy | -2/+9 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -50/+54 |
| 2024-07-21 | Move all error reporting into rustc_trait_selection | Michael Goulet | -1/+1 |
| 2024-07-09 | Split out overflow handling into its own module | Michael Goulet | -1/+1 |
| 2024-07-08 | Move trait selection error reporting to its own top-level module | Michael Goulet | -2/+2 |
| 2024-07-06 | Import via rustc_type_ir::outlives | Michael Goulet | -1/+1 |
| 2024-07-06 | Uplift push_outlives_components | Michael Goulet | -1/+1 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -6/+6 |
| 2024-06-14 | Use is_lang_item more aggressively | Michael Goulet | -1/+1 |
| 2024-06-11 | Get rid of PredicateObligations | Michael Goulet | -2/+2 |
| 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 |
