summary refs log tree commit diff
path: root/src/librustc_trait_selection/traits/query
AgeCommit message (Collapse)AuthorLines
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-2/+2
This commit introduces a `Limit` type which is used to ensure that all comparisons against limits within the compiler are consistent (which can result in ICEs if they aren't). Signed-off-by: David Wood <david@davidtw.co>
2020-05-22Use `OnceCell` instead of `Once`Dylan MacKenzie-1/+1
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-1/+1
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-2/+2
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-2/+0
2020-05-09Rollup merge of #72018 - mark-i-m:canon-chalk, r=mark-i-mDylan DPC-1/+1
Fix canonicalization links
2020-05-08fix canonicalization linksmark-1/+1
2020-05-02Move ensure_sufficient_stack to data_structuresSimonas Kazlauskas-1/+1
We anticipate this to have uses in all sorts of crates and keeping it in `rustc_data_structures` enables access to it from more locations without necessarily pulling in the large `librustc` crate.
2020-05-02Prevent stack overflow for deeply recursive codeOliver Scherer-1/+2
2020-04-14traits/query/normalize: add some `debug!` logging for the result.Eduard-Mihai Burtescu-2/+13
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-3/+5
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-27/+27
2020-03-25Rollup merge of #70319 - lcnr:issue63695, r=eddybDylan DPC-0/+1
correctly normalize constants closes #70317 implements https://github.com/rust-lang/rust/issues/70125#issuecomment-602133708 r? eddyb cc @varkor
2020-03-23add missing const super foldsBastian Kauschke-0/+1
2020-03-21rustc: keep upvars tupled in {Closure,Generator}Substs.Eduard-Mihai Burtescu-2/+2
2020-03-20remove redundant returns (clippy::needless_return)Matthias Krüger-2/+2
2020-03-14Split librustc_infer.Camille GILLOT-18/+64
2020-03-14Move rustc_infer::traits to new crate rustc_trait_selection.Camille GILLOT-0/+1010