about summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Collapse)AuthorLines
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
2020-05-01Remove leftover chalk typesJack Huey-896/+0
2020-04-24Remove `Option` from the return type of `def_kind`.Eduard-Mihai Burtescu-9/+7
2020-04-23Modify `as_local_hir_id` to return a bare `HirId`marmeladema-1/+1
2020-04-23Modify `as_local_hir_id` to accept a `LocalDefId` instead of a `DefId`marmeladema-1/+1
2020-04-20Remove unused dependenciesShotaro Yamada-2/+0
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-8/+9
2020-04-13Use `CRATE_HIR_ID` instead of `DUMMY_HIR_ID` when appropriate.marmeladema-1/+1
Those usage ends up forwarded to a `ObligationClause` which uses `CRATE_HIR_ID` for dummy value as seen in `ObligationClause::dummy`.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 04:04:02 +0000