about summary refs log tree commit diff
path: root/src/librustc_traits/chalk
AgeCommit message (Collapse)AuthorLines
2020-08-30mv compiler to compiler/mark-1703/+0
2020-08-17rust_ast::ast => rustc_astUjjwal Sharma-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-27introduce PredicateAtomBastian Kauschke-42/+35
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-3/+3
2020-07-27split ignore_qualifiersBastian Kauschke-11/+18
2020-07-27reviewBastian Kauschke-3/+15
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-11/+26
2020-07-05Use for<'tcx> fn pointers in Providers, instead of having Providers<'tcx>.Eduard-Mihai Burtescu-1/+1
2020-06-30change `skip_binder` to use T by valueBastian Kauschke-2/+2
2020-06-24Update ChalkJack Huey-51/+172
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-19Fix buildingJack Huey-2/+2
2020-06-19Lower constsJack Huey-34/+45
2020-06-19Update chalk and add LifetimeOutlives and ObjectSafe loweringJack Huey-9/+58
2020-06-19Update ChalkJack Huey-3/+8
2020-06-19Remove RustDefIdJack Huey-166/+83
2020-06-19Implement fn_def_datumJack Huey-17/+38
2020-06-19Use builtin types for Never, Array, and FnDefJack Huey-45/+22
2020-06-19Update chalkJack Huey-116/+149
2020-06-19Update chalkJack Huey-45/+48
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-2/+2
2020-06-02change WellFormed predicate to GenericArgBastian Kauschke-22/+26
2020-06-02add WellFormedConst predicateBastian Kauschke-4/+7
2020-05-22Remove ReScopeMatthew Jasper-1/+0
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-36/+39
2020-05-17chalkBastian Kauschke-7/+6
2020-05-14Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakisRalf Jung-1/+0
Remove UnnormalizedProjection This was only used for the old chalk integration with chalk-engine r? @nikomatsakis
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-1/+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/+1470
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-15 03:12:25 +0000