about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/evaluate_obligation.rs
AgeCommit message (Expand)AuthorLines
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