about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/evaluate_obligation.rs
AgeCommit message (Expand)AuthorLines
2025-09-08optimize `CanonicalVarValues::instantiate`lcnr-1/+1
2025-07-20Consider param-env for fast pathMichael Goulet-1/+1
2025-04-09re-use sized fast pathDavid Wood-0/+5
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-0/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-1/+1
2023-06-23Stop bubbling out hidden types from the eval obligation queriesOli Scherer-7/+2
2023-06-06New trait solver is a property of inference contextMichael Goulet-1/+1
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-0/+1
2023-05-25Move DefiningAnchorMichael Goulet-1/+2
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-1/+1
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-11/+9
2022-07-27add tests and commentouz-a-0/+2
2022-07-25Bubble up obligationsouz-a-2/+2
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2020-08-30mv compiler to compiler/mark-0/+32