| Age | Commit message (Expand) | Author | Lines |
| 2024-11-14 | Only disable cache if predicate has opaques within it | Michael Goulet | -21/+45 |
| 2024-10-10 | Rollup merge of #131475 - fmease:compiler-mv-obj-safe-dyn-compat-2, r=jieyouxu | Matthias Krüger | -16/+12 |
| 2024-10-10 | impossible obligations check fast path | lcnr | -1/+12 |
| 2024-10-10 | Rename feature object_safe_for_dispatch to dyn_compatible_for_dispatch | León Orell Valerian Liehr | -5/+5 |
| 2024-10-10 | Compiler: Replace remaining occurrences of "object safe" with "dyn compatible" | León Orell Valerian Liehr | -12/+8 |
| 2024-09-30 | Also fix first_method_vtable_slot | Michael Goulet | -13/+12 |
| 2024-09-30 | Extract trait_refs_are_compatible, make it instantiate binders | Michael Goulet | -28/+64 |
| 2024-09-30 | Instantiate binders in supertrait_vtable_slot | Michael Goulet | -10/+30 |
| 2024-09-28 | Rollup merge of #130866 - compiler-errors:dyn-instantiate-binder, r=lcnr | Matthias Krüger | -20/+73 |
| 2024-09-27 | Get rid of a_is_expected from ToTrace | Michael Goulet | -3/+0 |
| 2024-09-27 | Instantiate binders when checking supertrait upcasting | Michael Goulet | -20/+76 |
| 2024-09-26 | Check allow instantiating object trait binder when upcasting and in new solver | Michael Goulet | -3/+3 |
| 2024-09-25 | Compiler: Rename "object safe" to "dyn compatible" | León Orell Valerian Liehr | -62/+58 |
| 2024-09-23 | Rollup merge of #130714 - compiler-errors:try-structurally-resolve-const, r=B... | Matthias Krüger | -0/+40 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -212/+171 |
| 2024-09-22 | Introduce structurally_normalize_const, use it in hir_typeck | Michael Goulet | -0/+40 |
| 2024-09-19 | skip normalizing param env if it is already normalized | Lukas Markeffsky | -0/+3 |
| 2024-09-13 | Rename and reorder lots of lifetimes. | Nicholas Nethercote | -17/+17 |
| 2024-09-12 | Auto merge of #130269 - Zalathar:rollup-coxzt2t, r=Zalathar | bors | -32/+25 |
| 2024-09-12 | Rollup merge of #130250 - compiler-errors:useless-conversion, r=jieyouxu | Stuart Cook | -2/+2 |
| 2024-09-11 | Revert 'Stabilize -Znext-solver=coherence' | Michael Goulet | -1/+3 |
| 2024-09-11 | clippy::useless_conversion | Michael Goulet | -2/+2 |
| 2024-09-11 | Also fix if in else | Michael Goulet | -6/+4 |
| 2024-09-11 | Simplify some nested if statements | Michael Goulet | -24/+19 |
| 2024-09-06 | Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnr | bors | -8/+22 |
| 2024-09-05 | stabilize `-Znext-solver=coherence` | lcnr | -3/+1 |
| 2024-09-03 | do not attempt to prove unknowable goals | lcnr | -72/+66 |
| 2024-09-03 | Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgau | bors | -16/+16 |
| 2024-09-03 | Add `warn(unreachable_pub)` to `rustc_trait_selection`. | Nicholas Nethercote | -16/+16 |
| 2024-09-02 | Rollup merge of #129878 - Sajjon:sajjon_fix_typos_batch_3, r=jieyouxu | Matthias Krüger | -3/+3 |
| 2024-09-02 | Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidates | Bryanskiy | -8/+22 |
| 2024-09-02 | chore: Fix typos in 'compiler' (batch 3) | Alexander Cyon | -3/+3 |
| 2024-09-01 | Revert "Auto merge of #127537 - veluca93:struct_tf, r=BoxyUwU" | Jakub Beránek | -2/+0 |
| 2024-08-31 | Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxu | Matthias Krüger | -0/+23 |
| 2024-08-31 | Rollup merge of #129725 - compiler-errors:predicates-of, r=fmease | Matthias Krüger | -16/+11 |
| 2024-08-30 | Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+23 |
| 2024-08-29 | Stop using ty::GenericPredicates for non-predicates_of queries | Michael Goulet | -16/+11 |
| 2024-08-28 | Implement RFC 3525. | Luca Versari | -0/+2 |
| 2024-08-21 | Simplify some redundant field names | Michael Goulet | -1/+1 |
| 2024-08-19 | Rollup merge of #129217 - jswrenn:transmute-lifetimes, r=compiler-errors | Matthias Krüger | -73/+103 |
| 2024-08-18 | safe transmute: forbid reference lifetime extension | Jack Wrenn | -73/+103 |
| 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-14 | Rollup merge of #129061 - compiler-errors:lang-item, r=Urgau | Matthias Krüger | -2/+2 |
| 2024-08-14 | Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errors | bors | -16/+16 |
| 2024-08-13 | Use is_lang_item more | Michael Goulet | -2/+2 |