about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/evaluate_obligation.rs
AgeCommit message (Collapse)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
There's an existing fast path for the `type_op_prove_predicate` predicate, checking for trivially `Sized` types, which can be re-used when evaluating obligations within queries. This should improve performance, particularly in anticipation of new sizedness traits being added which can take advantage of this.
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-0/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
`x clippy compiler -Aclippy::all -Wclippy::needless_borrow --fix`. Then I had to remove a few unnecessary parens and muts that were exposed now.
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-1/+1
Most notably, this commit changes the `pub use crate::*;` in that file to `use crate::*;`. This requires a lot of `use` items in other crates to be adjusted, because everything defined within `rustc_span::*` was also available via `rustc_span::source_map::*`, which is bizarre. The commit also removes `SourceMap::span_to_relative_line_string`, which is unused.
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