about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/infer.rs
AgeCommit message (Expand)AuthorLines
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
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-1/+1
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-13/+5
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-3/+3
2022-09-05Point out when a callable is not actually callable because its return is not ...Michael Goulet-0/+17
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-1/+0
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-0/+1
2021-11-29Completely remove ConstnessAndOli Scherer-1/+0
2021-10-15Move some outlives bounds things from rustc_trait_selection to rustc_typeckjackh726-49/+0
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-10 18:13:32 +0000