about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query/evaluate_obligation.rs
AgeCommit message (Expand)AuthorLines
2025-09-26allow method calls on opaqueslcnr-2/+9
2025-09-18support calls on opaque types :<lcnr-0/+17
2024-10-29TypingMode :thinking:lcnr-1/+0
2024-10-27Remove ObligationCause::span() methodMichael Goulet-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-05-02Use ObligationCtxt in favor of TraitEngine in many placesMichael Goulet-15/+17
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-29/+5
2024-02-05extend docs for `predicate_must_hold_considering_regions`Lukas Markeffsky-1/+22
2024-01-12Remove unused ErrorReporting variant from overflow handlingMichael Goulet-2/+0
2023-12-15unify query canonicalization modeAli MJ Al-Nasrawy-4/+2
2023-12-14update use of feature flagslcnr-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-12/+1
2023-07-04 -Ztrait-solver=next: stop depending on old solverlcnr-0/+1
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-1/+1
2023-06-29change snapshot tracking in fulfillment contextslcnr-1/+1
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+1
2023-06-06New trait solver is a property of inference contextMichael Goulet-1/+1
2023-05-30rework the leak_check to take the outer_universelcnr-1/+1
2023-03-23Use fulfillment in InferCtxt::evaluate_obligationMichael Goulet-30/+14
2023-03-23Return nested obligations from canonical response var unificationMichael Goulet-1/+9
2023-03-11Use TyCtxt::trait_solver_next in some placesMichael Goulet-8/+7
2023-03-10Move some solver stuff to middleMichael Goulet-1/+2
2023-01-27Use now solver in evaluate_obligationMichael Goulet-6/+37
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-1/+1
2022-11-24with_query_mode -> newSantiago Pastorino-4/+2
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-1/+1
2022-07-15remove tcx from ObligationCauseCode::spanMichael Goulet-1/+1
2022-03-25Fix ice when error reporting recursion errorslightning1141-0/+2
2021-12-12Remap more env constness for queriesDeadbeef-17/+10
2021-12-12Remap predicate/env constness before queryingDeadbeef-4/+24
2021-10-10Fix spelling: Cannonical -> CanonicalJohn Kugelman-2/+2
2021-10-05Issue 89275 fix and testTom Farmer-8/+12
2021-09-02Preserve most sub-obligations in the projection cacheAaron Hill-1/+1
2021-07-21Improve caching during trait evaluationAaron Hill-2/+4
2020-11-16compiler: fold by valueBastian Kauschke-1/+1
2020-08-30mv compiler to compiler/mark-0/+97
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 10:01:10 +0000