about summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Expand)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 d...Matthias Krüger-2/+2
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
2020-05-24Auto merge of #72362 - matthewjasper:remove-rescope, r=nikomatsakisbors-1/+0
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 o...Ben Lewis-2/+4
2020-05-14Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakisRalf Jung-3/+0
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-3/+0
2020-05-11Fix clippy warningsMatthias Krüger-40/+36
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
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 06:47:09 +0000