summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/fulfill.rs
AgeCommit message (Expand)AuthorLines
2023-07-06Separate select calls that don't need a binderMichael Goulet-2/+2
2023-07-06TraitObligation -> PolyTraitObligationMichael Goulet-2/+2
2023-07-05Deal with falloutBoxy-1/+1
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-6/+0
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-22/+15
2023-06-29change snapshot tracking in fulfillment contextslcnr-22/+15
2023-06-26TypeWellFormedInEnvMichael Goulet-2/+2
2023-06-19s/Clause/ClauseKindMichael Goulet-14/+14
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-2/+2
2023-06-17Move WF goal to clauseMichael Goulet-2/+2
2023-05-27Try enabling MatchBranchSimplificationBen Kimock-0/+1
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-2/+1
2023-04-10Report overflows gracefully with new solverMichael Goulet-2/+9
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-4/+4
2023-03-17Fast path that skips over unchanged obligations in process_obligationsThe 8472-0/+23
2023-03-15always make `define_opaque_types` explicitlcnr-15/+15
2023-03-03Improve comments in `needs_process_obligation`.Nicholas Nethercote-24/+32
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-17add predicate evaluation logicBoxy-2/+12
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+4
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+6
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-1/+1
2023-01-28Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo-1/+1
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-0/+49
2023-01-27Separate trait selection from ambiguity reporting.Camille GILLOT-8/+1
2023-01-22Store relationships on InherentSantiago Pastorino-19/+2
2022-11-28Rollup merge of #104907 - compiler-errors:selcx-infcx, r=oli-obkDylan DPC-16/+15
2022-11-25Remove SelectionContext::infcx() in favor of field accessMichael Goulet-16/+15
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-7/+36
2022-11-25Make `expand_abstract_consts` infallibleBoxy-4/+2
2022-11-25handle assoc consts in fulfill `ConstEquate`Boxy-23/+27
2022-11-25handle nested obligations in `satisfied_from_param_env`Boxy-11/+13
2022-11-25Add expand_abstract_constkadmin-9/+5
2022-11-25Add empty ConstKind::Abstractkadmin-6/+35
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-8/+11
2022-11-24Remove normalize_projection_typeSantiago Pastorino-39/+3
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+2
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-10/+7
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-10/+7
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-6/+0
2022-11-10Use TraitEngine in more places, make FulfillmentCtxt constructor more privateMichael Goulet-2/+2
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-3/+1
2022-10-17Rollup merge of #102945 - compiler-errors:placeholder-region-outlives, r=lcnrMatthias Krüger-1/+1
2022-10-17Rollup merge of #102466 - lcnr:const-equate-uwu, r=BoxyUwUMatthias Krüger-12/+13
2022-10-12Do not register placeholder region outlives when considering_regions is falseMichael Goulet-1/+1
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-7/+4
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-4/+4
2022-09-29only allow `ConstEquate` with `feature(gce)`lcnr-12/+13
2022-09-27Tweak `FulfillProcessor`.Nicholas Nethercote-12/+12
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 04:12:40 +0000