| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-03-15 | Fold visit into ty | Michael Goulet | -2/+2 |
| 2025-03-15 | Squash fold into ty | Michael Goulet | -6/+5 |
| 2025-03-04 | Only use implied bounds hack if bevy, and use deeply normalize in implied bou... | Michael Goulet | -148/+50 |
| 2025-02-28 | Update query normalizer docs | Boxy | -12/+9 |
| 2025-02-17 | Clean up dropck code a bit | Matthew Jasper | -35/+21 |
| 2025-02-17 | Report dropck normalization errors in borrowck | Matthew Jasper | -9/+42 |
| 2025-02-11 | Make DeeplyNormalize a real type op | Michael Goulet | -3/+55 |
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -2/+4 |
| 2025-01-29 | Auto merge of #136011 - compiler-errors:query-norm-vaniquishes-us, r=jackh726 | bors | -14/+10 |
| 2025-01-25 | Pass spans to perform_locally_in_new_solver | Michael Goulet | -15/+26 |
| 2025-01-24 | Revert "Rollup merge of #135914 - compiler-errors:vanquish-query-norm, r=jack... | Michael Goulet | -14/+10 |
| 2025-01-23 | Remove query normalize from dropck outlives type op | Michael Goulet | -10/+14 |
| 2024-12-22 | Begin to implement type system layer of unsafe binders | Michael Goulet | -1/+7 |
| 2024-12-20 | remove non-borrowck member constraints | lcnr | -5/+2 |
| 2024-12-14 | (Re-)Implement impl_trait_in_bindings | Michael Goulet | -0/+6 |
| 2024-12-14 | Split UserTypeAnnotation to have a kind | Michael Goulet | -4/+4 |
| 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 |
