summary refs log tree commit diff
path: root/src/librustc_trait_selection/traits/project.rs
AgeCommit message (Expand)AuthorLines
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
2020-03-30Simplify `NodeItem`Jonas Schievink-1/+1
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-5/+5
2020-03-25Rollup merge of #70319 - lcnr:issue63695, r=eddybDylan DPC-0/+1
2020-03-23add missing const super foldsBastian Kauschke-0/+1
2020-03-21rustc: keep upvars tupled in {Closure,Generator}Substs.Eduard-Mihai Burtescu-3/+2
2020-03-18rustc_infer: remove InferCtxt::closure_sig as the FnSig is always shallowly k...Eduard-Mihai Burtescu-3/+1
2020-03-15Avoid ICEs when we emit errors constructing the specialization graphMatthew Jasper-10/+14
2020-03-14Split librustc_infer.Camille GILLOT-11/+20
2020-03-14Move rustc_infer::traits to new crate rustc_trait_selection.Camille GILLOT-0/+1502