about summary refs log tree commit diff
path: root/src/librustc_trait_selection/traits/project.rs
AgeCommit message (Expand)AuthorLines
2020-08-30mv compiler to compiler/mark-1581/+0
2020-08-24hir: consistent use and naming of lang itemsDavid Wood-7/+5
2020-08-20Don't immediately error for cycles during normalizationMatthew Jasper-29/+45
2020-08-12allow escaping bound vars when normalizing `ty::Opaque`Bastian Kauschke-5/+2
2020-07-27introduce PredicateAtomBastian Kauschke-13/+9
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-3/+3
2020-07-27split ignore_qualifiersBastian Kauschke-3/+3
2020-07-27reviewBastian Kauschke-2/+0
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-23/+33
2020-07-15improve DiscriminantKind handlingBastian Kauschke-15/+5
2020-07-05Shrink ParamEnv to 16 bytesMark Rousskov-3/+3
2020-06-24Implement associated lang itemsAaron Hill-8/+7
2020-06-22remove leak-check from projectNiko Matsakis-2/+1
2020-06-22move leak-check to during coherence, candidate evalNiko Matsakis-5/+1
2020-06-22rewrite leak check to be based on universesNiko Matsakis-5/+7
2020-06-20Auto merge of #73563 - Manishearth:rollup-oowgwwm, r=Manishearthbors-8/+13
2020-06-20Consider fewer predicates for projection candidatesMatthew Jasper-8/+13
2020-06-20int -> i32Bastian Kauschke-1/+1
2020-06-19Rollup merge of #73452 - matthewjasper:auto-rec, r=nikomatsakisManish Goregaokar-1/+11
2020-06-17Unify region variables when projecting associated typesmatthewjasper-1/+11
2020-06-15make all uses of ty::Error or ConstKind::Error delay a span bugmark-9/+11
2020-06-11Remove associated opaque typesMatthew Jasper-8/+3
2020-06-05Rename traits::ImplSourceImpl to ImplSourceUserDefined.Ana-Maria Mihalache-5/+5
2020-06-05Rename traits::Vtable to ImplSource.Ana-Maria Mihalache-46/+49
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-5/+4
2020-05-23iterate List by valueBastian Kauschke-1/+1
2020-05-23take predicates by value instead of by referenceBastian Kauschke-2/+2
2020-05-22Use `OnceCell` instead of `Once`Dylan MacKenzie-3/+3
2020-05-21Rollup merge of #72055 - lcnr:predicate-kind, r=nikomatsakisRalf Jung-15/+16
2020-05-20change `Predicate::kind` to return a referenceBastian Kauschke-7/+5
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-3/+3
2020-05-20make `to_predicate` take a `tcx` argumentNiko Matsakis-5/+6
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-3/+5
2020-05-19auto impl`DiscriminantKind` for every typeBastian Kauschke-4/+81
2020-05-17Logically seperate lazy norm from `const_generics`Bastian Kauschke-1/+1
2020-05-17merge lazy_normalization_consts into const_genericsBastian Kauschke-1/+1
2020-05-17Put lazy normalization behind a feature gateBen Lewis-0/+9
2020-05-17Assume unevaluated consts are equal to the other consts and add ConstEquate o...Ben Lewis-5/+0
2020-05-13use `require_lang_item` over `unwrap`.Bastian Kauschke-2/+3
2020-05-08Remove ast::{Ident, Name} reexports.Camille GILLOT-2/+1
2020-05-07Auto merge of #55617 - oli-obk:stacker, r=nagisa,oli-obkbors-1/+2
2020-05-05Rebase and use ena 0.14Markus Westerlind-6/+6
2020-05-02Move ensure_sufficient_stack to data_structuresSimonas Kazlauskas-1/+1
2020-05-02Prevent stack overflow for deeply recursive codeOliver Scherer-1/+2
2020-04-20Remove some `Vec` allocations in an effort to improve perfEsteban Küber-10/+6
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-2/+2
2020-04-03Minor follow-up after renaming librustc(_middle)Yuki Okushi-1/+1
2020-04-02add `STILL_FURTHER_SPECIALIZABLE` flagDavid Wood-1/+1
2020-03-30Sync `Instance::resolve` with the projection codeJonas Schievink-1/+1
2020-03-30spec. graph: track defining and finalizing implsJonas Schievink-37/+11
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 09:50:15 +0000