| 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 | Rename feature object_safe_for_dispatch to dyn_compatible_for_dispatch | León Orell Valerian Liehr | -1/+1 |
| 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 | -8/+8 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -70/+50 |
| 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 | -3/+9 |
| 2024-09-03 | Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgau | bors | -3/+3 |
| 2024-09-03 | Add `warn(unreachable_pub)` to `rustc_trait_selection`. | Nicholas Nethercote | -3/+3 |
| 2024-09-02 | Rollup merge of #129878 - Sajjon:sajjon_fix_typos_batch_3, r=jieyouxu | Matthias Krüger | -1/+1 |
| 2024-09-02 | Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidates | Bryanskiy | -3/+9 |
| 2024-09-02 | chore: Fix typos in 'compiler' (batch 3) | Alexander Cyon | -1/+1 |
| 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/+3 |
| 2024-08-31 | Rollup merge of #129725 - compiler-errors:predicates-of, r=fmease | Matthias Krüger | -7/+5 |
| 2024-08-30 | Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+3 |
| 2024-08-29 | Stop using ty::GenericPredicates for non-predicates_of queries | Michael Goulet | -7/+5 |
| 2024-08-28 | Implement RFC 3525. | Luca Versari | -0/+2 |
| 2024-08-18 | safe transmute: forbid reference lifetime extension | Jack Wrenn | -73/+103 |
| 2024-08-14 | Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errors | bors | -12/+12 |
| 2024-08-10 | Auto merge of #128746 - compiler-errors:cache-super-outlives, r=lcnr | bors | -26/+16 |
| 2024-08-09 | Shrink `TyKind::FnPtr`. | Nicholas Nethercote | -12/+12 |
| 2024-08-08 | Don't implement AsyncFn for FnDef/FnPtr that wouldnt implement Fn | Michael Goulet | -2/+14 |
| 2024-08-06 | Cache supertrait outlives of impl header for soundness check | Michael Goulet | -26/+16 |
| 2024-08-05 | Elaborate supertraits in dyn candidates | Michael Goulet | -0/+1 |
| 2024-08-05 | Enforce supertrait outlives obligations hold when confirming impl | Michael Goulet | -2/+32 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -55/+37 |
| 2024-07-26 | Make coroutine-closures possible to be cloned | Michael Goulet | -2/+15 |
| 2024-07-24 | Do not assemble candidates for auto traits of opaque types in their defining ... | Oli Scherer | -1/+6 |
| 2024-07-24 | Do not try to reveal hidden types when trying to prove Freeze in the defining... | Oli Scherer | -7/+11 |
| 2024-07-24 | Don't use global caches if opaques can be defined | Oli Scherer | -1/+7 |
| 2024-07-21 | Move all error reporting into rustc_trait_selection | Michael Goulet | -1/+1 |
| 2024-07-18 | Remove tag field from relations | Michael Goulet | -8/+4 |
| 2024-07-17 | Fix relations | Michael Goulet | -2/+2 |
| 2024-07-10 | instantiate higher ranked goals in candidate selection | lcnr | -54/+12 |
| 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 | -1/+1 |
| 2024-07-08 | Rollup merge of #127437 - compiler-errors:uplift-trait-ref-is-knowable, r=lcnr | 许杰友 Jieyou Xu (Joe) | -1/+1 |
| 2024-07-07 | Uplift trait_ref_is_knowable and friends | Michael Goulet | -1/+1 |
| 2024-07-05 | Actually just make can_eq process obligations (almost) everywhere | Michael Goulet | -1/+1 |
| 2024-06-30 | Uplift fast rejection to new solver | Michael Goulet | -1/+1 |
| 2024-06-27 | Make queries more explicit | Michael Goulet | -1/+1 |
| 2024-06-25 | Auto merge of #125610 - oli-obk:define_opaque_types14, r=compiler-errors | bors | -4/+4 |
| 2024-06-24 | Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr... | Michael Goulet | -2/+2 |
| 2024-06-20 | Add blank lines after module-level `//!` comments. | Nicholas Nethercote | -0/+1 |
| 2024-06-19 | Allow constraining opaque types during auto trait casting | Oli Scherer | -1/+1 |
