about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/infer.rs
AgeCommit message (Expand)AuthorLines
2025-09-23yeet fastpathlcnr-13/+1
2025-09-08optimize `CanonicalVarValues::instantiate`lcnr-3/+2
2025-07-17Eagerly unify coroutine witness in old solverMichael Goulet-2/+2
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-4/+4
2025-04-22Consider Copy/Clone tooMichael Goulet-1/+1
2025-03-19Fix next solver handling of shallow trait impl checkOli Scherer-12/+18
2025-03-06Add UseCloned trait related codeSantiago Pastorino-0/+10
2024-12-21Suggest Semicolon in Incorrect Repeat ExpressionsVeera-0/+6
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-1/+1
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-1/+3
2024-11-05Explain how to evaluate an obligationmejrs-3/+9
2024-11-04document `type_implements_trait`mejrs-0/+12
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-2/+4
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-8/+6
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet-0/+11
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-10/+4
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-7/+11
2024-05-16Remove trivial Binder::dummy callsMichael Goulet-1/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-2/+2
2024-05-02Use ObligationCtxt in favor of TraitEngine in many placesMichael Goulet-5/+6
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-3/+2
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-4/+3
2024-03-31Remove EvaluatedToErrStackDependentMichael Goulet-2/+1
2024-02-16Move trait into attr so it's greppableMichael Goulet-4/+4
2024-02-16Use extension trait deriveMichael Goulet-56/+26
2024-01-13Make InferCtxtExt::could_impl_trait less messed upMichael Goulet-58/+33
2023-12-12more clippy::complexity fixesMatthias Krüger-2/+1
2023-12-06EvaluatedToUnknown -> EvaluatedToAmbigStackDependent, EvaluatedToRecur -> Eva...Michael Goulet-1/+1
2023-12-04Deduplicate some logicEsteban Küber-0/+72
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+1
2023-07-14allow opaques to be defined by trait queriesAli MJ Al-Nasrawy-5/+6
2023-05-25Fallible<_> -> Result<_, NoSolution>Michael Goulet-5/+5
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-04-27rename `needs_infer` to `has_infer`Boxy-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-03-21remove some trait solver helperslcnr-27/+8
2023-02-23Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obkMatthias Krüger-2/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-6/+6
2023-02-21Associated type bounds in some places in the compilerMichael Goulet-2/+2
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-01-03Simplify some canonical type alias namesMichael Goulet-3/+3
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-28/+0
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-10/+6
2022-11-21Remove a redundant assertOli Scherer-6/+0
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-4/+1
2022-11-21Check that type_implements_trait actually is passed the right amount of gener...Oli Scherer-3/+11
2022-11-04Some tracing and comment cleanupsOli Scherer-10/+2
2022-11-01Auto merge of #103590 - compiler-errors:ocx-more, r=lcnrbors-7/+7
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-7/+7
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-26 19:24:56 +0000