about summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Collapse)AuthorLines
2020-08-30mv compiler to compiler/mark-2625/+0
2020-08-17rust_ast::ast => rustc_astUjjwal Sharma-2/+2
2020-08-15replaced log with tracingGurpreet Singh-2/+2
2020-08-08fix clippy::needless_return: remove unneeded return statementsMatthias Krüger-1/+1
2020-08-08fix clippy::into_iter_on_ref: use .iter() instead of into_iter() on references.Matthias Krüger-2/+2
2020-08-08fix clippy::redundant_closure: remove redundant closures and call functions ↵Matthias Krüger-2/+2
directly
2020-08-07fix clippy::len_zero: use is_empty() instead of comparing .len() to zeroMatthias Krüger-2/+2
2020-07-31Move from `log` to `tracing`Oliver Scherer-1/+1
2020-07-27introduce PredicateAtomBastian Kauschke-76/+70
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-4/+4
2020-07-27split ignore_qualifiersBastian Kauschke-16/+21
2020-07-27reviewBastian Kauschke-4/+15
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-32/+45
2020-07-27convert trivial predicatesBastian Kauschke-2/+2
2020-07-05Use for<'tcx> fn pointers in Providers, instead of having Providers<'tcx>.Eduard-Mihai Burtescu-8/+8
2020-06-30change `skip_binder` to use T by valueBastian Kauschke-2/+2
2020-06-24Update ChalkJack Huey-53/+174
2020-06-19Return type is bound tooJack Huey-2/+6
2020-06-19Change InternedAdtDef to &'tcx AdtDefJack Huey-31/+26
2020-06-19Nits and change skip_binder to no_bound_vars for fndefJack Huey-6/+7
2020-06-19Update chalk to 0.11.0Jack-5/+2
2020-06-19Fix buildingJack Huey-2/+2
2020-06-19Lower constsJack Huey-34/+45
2020-06-19Update chalk and add LifetimeOutlives and ObjectSafe loweringJack Huey-11/+60
2020-06-19Update ChalkJack Huey-5/+10
2020-06-19Remove RustDefIdJack Huey-166/+83
2020-06-19Implement fn_def_datumJack Huey-19/+40
2020-06-19Use builtin types for Never, Array, and FnDefJack Huey-45/+22
2020-06-19Update chalkJack Huey-119/+151
2020-06-19Update chalkJack Huey-48/+54
2020-06-19Add compare-mode=chalk and add a little bit more implementations and fixmesJack Huey-9/+75
2020-06-15make all uses of ty::Error or ConstKind::Error delay a span bugmark-3/+3
2020-06-02change WellFormed predicate to GenericArgBastian Kauschke-34/+36
2020-06-02add WellFormedConst predicateBastian Kauschke-6/+11
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-1/+1
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-24Auto merge of #72362 - matthewjasper:remove-rescope, r=nikomatsakisbors-1/+0
Remove ReScope `ReScope` is unnecessary now that AST borrowck is gone and we're erasing the results of region inference in function bodies. This removes about as much of the old regionck code as possible without having to enable NLL fully. cc #68261 r? @nikomatsakis
2020-05-22Use `OnceCell` instead of `Once`Dylan MacKenzie-1/+1
2020-05-22Remove ReScopeMatthew Jasper-1/+0
2020-05-20intern `PredicateKind`Bastian Kauschke-4/+2
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-42/+47
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-22/+23
2020-05-17chalkBastian Kauschke-7/+6
2020-05-17Assume unevaluated consts are equal to the other consts and add ConstEquate ↵Ben Lewis-2/+4
obligation. This delays the need to evaluate consts eagerly and therefore gets around const eval query cycles.
2020-05-14Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakisRalf Jung-3/+0
Remove UnnormalizedProjection This was only used for the old chalk integration with chalk-engine r? @nikomatsakis
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-3/+0
2020-05-11Fix clippy warningsMatthias Krüger-40/+36
Fixes clippy::{cone_on_copy, filter_next, redundant_closure, single_char_pattern, len_zero,redundant_field_names, useless_format, identity_conversion, map_clone, into_iter_on_ref, needless_return, option_as_ref_deref, unused_unit, unnecessary_mut_passed}
2020-05-07Fix nit and cargo.lockJack Huey-1/+1
2020-05-07Reintegrate chalk using chalk-solveJack Huey-0/+1476
2020-05-02Move ensure_sufficient_stack to data_structuresSimonas Kazlauskas-3/+3
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-5/+9
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 11:26:22 +0000