summary refs log tree commit diff
path: root/src/librustc_trait_selection/traits/select.rs
AgeCommit message (Expand)AuthorLines
2020-06-26Beta backport of PR #73005 (obligation error impl candidate)Aaron Hill-0/+18
2020-05-30Rollup merge of #72540 - davidtwco:issue-67552-mono-collector-comparison, r=v...Ralf Jung-1/+1
2020-05-30Rollup merge of #72621 - Aaron1011:fix/trait-select-error, r=nikomatsakisYuki Okushi-11/+0
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-1/+1
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-8/+8
2020-05-26Don't bail out of trait selection when predicate references an errorAaron Hill-11/+0
2020-05-24small select cleanupBastian Kauschke-19/+6
2020-05-23iterate List by valueBastian Kauschke-1/+1
2020-05-23take predicates by value instead of by referenceBastian Kauschke-7/+7
2020-05-22Use `OnceCell` instead of `Once`Dylan MacKenzie-2/+1
2020-05-21Rollup merge of #72055 - lcnr:predicate-kind, r=nikomatsakisRalf Jung-17/+20
2020-05-20change `Predicate::kind` to return a referenceBastian Kauschke-7/+7
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-4/+7
2020-05-20make `to_predicate` take a `tcx` argumentNiko Matsakis-3/+3
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-11/+11
2020-05-19auto impl`DiscriminantKind` for every typeBastian Kauschke-16/+21
2020-05-17explicitly handle errors in `select`Bastian Kauschke-13/+19
2020-05-17Assume unevaluated consts are equal to the other consts and add ConstEquate o...Ben Lewis-0/+35
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-6/+3
2020-05-07Reintegrate chalk using chalk-solveJack Huey-5/+9
2020-05-07Auto merge of #55617 - oli-obk:stacker, r=nagisa,oli-obkbors-86/+104
2020-05-05Move projection_cache into the combined undo logMarkus Westerlind-1/+1
2020-05-02Move ensure_sufficient_stack to data_structuresSimonas Kazlauskas-1/+1
2020-05-02Prevent stack overflow for deeply recursive codeOliver Scherer-86/+104
2020-04-20Remove some `Vec` allocations in an effort to improve perfEsteban Küber-1/+2
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-14/+5
2020-04-16don't clone types that are copy (clippy::clone_on_copy)Matthias Krüger-8/+8
2020-04-08replace `has_local_value` with `needs_infer`Bastian Kauschke-6/+6
2020-04-07Rollup merge of #70857 - faern:use-assoc-int-float-consts, r=dtolnayDylan DPC-6/+2
2020-04-07Use assoc integer constants in librustc_*Linus Färnstrand-6/+2
2020-04-06ty: remove `{Existential,}Trait{Ref,Predicate}::input_types`.Eduard-Mihai Burtescu-11/+27
2020-04-06ty: switch `Ty::walk` from `Ty` to `GenericArg`.Eduard-Mihai Burtescu-39/+48
2020-04-02direct imports for langitem stuffMazdak Farrokhzad-1/+1
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-6/+8
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-7/+7
2020-03-23Rollup merge of #69968 - eddyb:tupled-closure-captures, r=nikomatsakisMazdak Farrokhzad-26/+15
2020-03-23Rollup merge of #70269 - matthiaskrgr:clippy_closures, r=Dylan-DPCMazdak Farrokhzad-6/+2
2020-03-22remove redundant closures (clippy::redundant_closure)Matthias Krüger-6/+2
2020-03-21don't redundantly repeat field names (clippy::redundant_field_names)Matthias Krüger-1/+1
2020-03-21rustc: keep upvars tupled in {Closure,Generator}Substs.Eduard-Mihai Burtescu-26/+15
2020-03-18rustc_infer: remove InferCtxt::closure_sig as the FnSig is always shallowly k...Eduard-Mihai Burtescu-3/+3
2020-03-14Split librustc_infer.Camille GILLOT-2/+11
2020-03-14Move rustc_infer::traits to new crate rustc_trait_selection.Camille GILLOT-0/+3781