| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-23 | yeet fastpath | lcnr | -13/+1 | |
| 2025-09-08 | optimize `CanonicalVarValues::instantiate` | lcnr | -3/+2 | |
| 2025-07-17 | Eagerly unify coroutine witness in old solver | Michael Goulet | -2/+2 | |
| 2025-06-05 | Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of None | Oli Scherer | -4/+4 | |
| 2025-04-22 | Consider Copy/Clone too | Michael Goulet | -1/+1 | |
| 2025-03-19 | Fix next solver handling of shallow trait impl check | Oli Scherer | -12/+18 | |
| 2025-03-06 | Add UseCloned trait related code | Santiago Pastorino | -0/+10 | |
| 2024-12-21 | Suggest Semicolon in Incorrect Repeat Expressions | Veera | -0/+6 | |
| 2024-12-02 | remove `Ty::is_copy_modulo_regions` | lcnr | -1/+1 | |
| 2024-11-19 | move `fn is_item_raw` to `TypingEnv` | lcnr | -1/+3 | |
| 2024-11-05 | Explain how to evaluate an obligation | mejrs | -3/+9 | |
| 2024-11-04 | document `type_implements_trait` | mejrs | -0/+12 | |
| 2024-10-17 | move `defining_opaque_types` out of `Canonical` | lcnr | -2/+4 | |
| 2024-08-30 | Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 | |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -8/+6 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-07-05 | Actually just make can_eq process obligations (almost) everywhere | Michael Goulet | -0/+11 | |
| 2024-06-03 | Add cycle errors to ScrubbedTraitError to remove a couple more calls to ↵ | Michael Goulet | -10/+4 | |
| new_with_diagnostics | ||||
| 2024-06-03 | Opt-in diagnostics reporting to avoid doing extra work in the new solver | Michael Goulet | -7/+11 | |
| 2024-05-16 | Remove trivial Binder::dummy calls | Michael Goulet | -1/+1 | |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -2/+2 | |
| 2024-05-02 | Use ObligationCtxt in favor of TraitEngine in many places | Michael Goulet | -5/+6 | |
| 2024-04-29 | Remove `extern crate rustc_macros` from numerous crates. | Nicholas Nethercote | -3/+2 | |
| 2024-04-08 | Pass list of defineable opaque types into canonical queries | Oli Scherer | -4/+3 | |
| 2024-03-31 | Remove EvaluatedToErrStackDependent | Michael Goulet | -2/+1 | |
| 2024-02-16 | Move trait into attr so it's greppable | Michael Goulet | -4/+4 | |
| 2024-02-16 | Use extension trait derive | Michael Goulet | -56/+26 | |
| 2024-01-13 | Make InferCtxtExt::could_impl_trait less messed up | Michael Goulet | -58/+33 | |
| 2023-12-12 | more clippy::complexity fixes | Matthias Krüger | -2/+1 | |
| redundant_guards redundant_slicing filter_next needless_borrowed_reference useless_format | ||||
| 2023-12-06 | EvaluatedToUnknown -> EvaluatedToAmbigStackDependent, EvaluatedToRecur -> ↵ | Michael Goulet | -1/+1 | |
| EvaluatedToErrStackDependent | ||||
| 2023-12-04 | Deduplicate some logic | Esteban Küber | -0/+72 | |
| 2023-08-02 | Remove constness from `TraitPredicate` | Deadbeef | -1/+1 | |
| 2023-07-14 | allow opaques to be defined by trait queries | Ali MJ Al-Nasrawy | -5/+6 | |
| 2023-05-25 | Fallible<_> -> Result<_, NoSolution> | Michael Goulet | -5/+5 | |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -1/+1 | |
| Replace `tcx.mk_trait_ref` with `TraitRef::new` First step in implementing https://github.com/rust-lang/compiler-team/issues/616 r? `@lcnr` | ||||
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -1/+1 | |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -1/+1 | |
| 2023-03-21 | remove some trait solver helpers | lcnr | -27/+8 | |
| they add more complexity then they are worth. It's confusing which of these helpers should be used in which context. | ||||
| 2023-02-23 | Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obk | Matthias Krüger | -2/+2 | |
| Use associated type bounds in some places in the compiler Use associated type bounds for some nested `impl Trait<Assoc = impl Trait2>` cases. I'm generally keen to introduce new lang features that are more mature into the compiler, but maybe let's see what others think? Side-note: I was surprised that the only use-cases of nested impl trait in the compiler are just iterator related?! | ||||
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -6/+6 | |
| 2023-02-21 | Associated type bounds in some places in the compiler | Michael Goulet | -2/+2 | |
| 2023-02-13 | Alias folding/visiting traits instead of re-export | Alan Egerton | -1/+1 | |
| 2023-01-03 | Simplify some canonical type alias names | Michael Goulet | -3/+3 | |
| 2022-11-28 | partially_normalize_... -> At::normalize | Michael Goulet | -28/+0 | |
| 2022-11-21 | Stop passing the self-type as a separate argument. | Oli Scherer | -10/+6 | |
| 2022-11-21 | Remove a redundant assert | Oli Scherer | -6/+0 | |
| 2022-11-21 | Assert that various types have the right amount of generic args and fix the ↵ | Oli Scherer | -4/+1 | |
| sites that used the wrong amount | ||||
| 2022-11-21 | Check that type_implements_trait actually is passed the right amount of ↵ | Oli Scherer | -3/+11 | |
| generic params | ||||
| 2022-11-04 | Some tracing and comment cleanups | Oli Scherer | -10/+2 | |
| 2022-11-01 | Auto merge of #103590 - compiler-errors:ocx-more, r=lcnr | bors | -7/+7 | |
| (almost) Always use `ObligationCtxt` when dealing with canonical queries Hope this is a step in the right direction. cc rust-lang/types-team#50. r? `@lcnr` | ||||
| 2022-10-27 | (almost) Always use ObligationCtxt when dealing with canonical queries | Michael Goulet | -7/+7 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |