about summary refs log tree commit diff
path: root/src/librustc_trait_selection/traits/select
AgeCommit message (Expand)AuthorLines
2020-08-30mv compiler to compiler/mark-3881/+0
2020-08-24hir: consistent use and naming of lang itemsDavid Wood-2/+2
2020-08-20Don't immediately error for cycles during normalizationMatthew Jasper-2/+8
2020-08-08Eliminate the `SessionGlobals` from `librustc_ast`.Nicholas Nethercote-2/+1
2020-08-06Fix typo "TraitObligatiom" -> "TraitObligation"Leijurv-1/+1
2020-08-02Move IntercrateAmbiguityCause to librustc_trait_selection.Camille GILLOT-0/+41
2020-08-02Introduce an abstraction for EvaluationCache and SelectionCache.Camille GILLOT-37/+10
2020-07-27introduce PredicateAtomBastian Kauschke-19/+14
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-3/+3
2020-07-27split ignore_qualifiersBastian Kauschke-6/+7
2020-07-27reviewBastian Kauschke-1/+0
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-9/+17
2020-07-27convert trivial predicatesBastian Kauschke-1/+1
2020-07-15const_eval_resolveBastian Kauschke-1/+1
2020-07-15ConstKind::UnevaluatedBastian Kauschke-2/+2
2020-07-05Shrink ParamEnv to 16 bytesMark Rousskov-2/+2
2020-07-01Rollup merge of #73306 - calebzulawski:target-feature-11-fn-trait-soundness, ...Manish Goregaokar-1/+15
2020-06-30change `skip_binder` to use T by valueBastian Kauschke-8/+8
2020-06-30stop taking references in RelateBastian Kauschke-4/+4
2020-06-22remove snapshot calls from "match" operations during selectNiko Matsakis-34/+14
2020-06-22upcasting traits requires only that things become more generalNiko Matsakis-15/+1
2020-06-22move leak-check to during coherence, candidate evalNiko Matsakis-5/+7
2020-06-22rewrite leak check to be based on universesNiko Matsakis-9/+10
2020-06-20Auto merge of #73563 - Manishearth:rollup-oowgwwm, r=Manishearthbors-28/+22
2020-06-20Consider fewer predicates for projection candidatesMatthew Jasper-28/+22
2020-06-20int -> i32Bastian Kauschke-5/+5
2020-06-20skol -> placeholderBastian Kauschke-16/+15
2020-06-15make all uses of ty::Error or ConstKind::Error delay a span bugmark-3/+3
2020-06-13Don't implement Fn* traits for #[target_feature] functionsCaleb Zulawski-1/+15
2020-06-10Rollup merge of #73005 - Aaron1011:fix/error-overflow, r=estebankDylan DPC-0/+18
2020-06-05Fix typoAaron Hill-1/+1
2020-06-05Rename traits::ImplSourceImpl to ImplSourceUserDefined.Ana-Maria Mihalache-7/+7
2020-06-05Rename traits::Vtable to ImplSource.Ana-Maria Mihalache-41/+46
2020-06-04Treat selection error as ambiguous when error type is presentAaron Hill-0/+8
2020-06-04Don't create impl candidates when obligation contains errorsAaron Hill-0/+10
2020-06-03remove ignore-tidy-filelengthBastian Kauschke-2/+0
2020-06-03move confirmation into submoduleBastian Kauschke-804/+827
2020-06-03move candidate assembly into a submoduleBastian Kauschke-607/+613
2020-06-03move select into subfolderBastian Kauschke-0/+3833