summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2021-02-04Auto merge of #81055 - matthewjasper:non-fatal-overflow, r=nikomatsakisbors-4/+0
2020-12-31Prevent caching projections in the case of cyclesMatthew Jasper-0/+4
2020-12-19Auto merge of #80132 - matthewjasper:revert-eval-order, r=nikomatsakisbors-3/+3
2020-12-19More rebindsJack Huey-21/+20
2020-12-17Revert change to evaluation orderMatthew Jasper-3/+3
2020-12-17Auto merge of #79945 - jackh726:existential_trait_ref, r=nikomatsakisbors-24/+29
2020-12-11don't clone types that are copy (clippy::clone_on_copy)Matthias Krüger-2/+2
2020-12-11Move binder for dyn to each list itemJack Huey-24/+29
2020-11-28Remove unnecessary `mut` bindingJoshua Nelson-2/+1
2020-11-23Rollup merge of #79325 - LingMan:try_op, r=jonas-schievinkJonas Schievink-7/+3
2020-11-23Reduce boilerplate with the `?` operatorLingMan-7/+3
2020-11-22winnow: drop non-const cand. in favor of constJonas Schievink-1/+9
2020-11-22Thread `Constness` through selectionJonas Schievink-10/+12
2020-11-16compiler: fold by valueBastian Kauschke-31/+28
2020-11-13Push to result vector instead of allocatingDániel Buga-4/+1
2020-11-10Changed unwrap_or to unwrap_or_else in some places.Nicholas-Baron-1/+1
2020-10-22Normalize when finding trait object candidatesMatthew Jasper-65/+66
2020-10-21Fix ICE from projection cycleMatthew Jasper-20/+9
2020-10-16Review commentsJack Huey-5/+4
2020-10-16map_bound_ref -> rebindJack Huey-20/+15
2020-10-16Use map_bound(_ref) instead of Binder::bind when possibleJack Huey-15/+27
2020-10-15Auto merge of #77873 - sexxi-goose:use_tuple_inference_for_closures, r=nikoma...bors-3/+13
2020-10-14Remove unused code from remaining compiler cratesest31-4/+0
2020-10-11Use tracing spans in rustc_trait_selectionMatthew Jasper-168/+110
2020-10-11Always return tupled_upvar_tys for Closure/Generator consituent tysAman Arora-20/+4
2020-10-11Replace tuple of infer vars for upvar_tys with single infer varRoxane-4/+30
2020-10-06Fix tests from rebaseMatthew Jasper-17/+18
2020-10-06Fix rebaseMatthew Jasper-2/+2
2020-10-06Deduplicate item bounds after normalizationMatthew Jasper-17/+40
2020-10-06Don't require lifetime super-bounds on traits apply to trait objects of that ...Matthew Jasper-14/+17
2020-10-06Normalize super trait bounds when confirming object candidatesMatthew Jasper-9/+20
2020-10-06Fix rebaseMatthew Jasper-1/+1
2020-10-06Fix bootstrapMatthew Jasper-1/+1
2020-10-06Avoid cycles from projection boundsMatthew Jasper-16/+20
2020-10-06Avoid cycle with projections from object typesMatthew Jasper-137/+43
2020-10-06Normalize projection bounds when considering candidatesMatthew Jasper-139/+230
2020-10-06Handle multiple applicable projection candidatesMatthew Jasper-33/+54
2020-10-06Fix bugs in evaluating WellFormed predicatesMatthew Jasper-22/+32
2020-10-06Avoid cycle in nested obligations for object candidateMatthew Jasper-52/+175
2020-10-06Address review commentsMatthew Jasper-0/+5
2020-10-06Fix ICEMatthew Jasper-4/+5
2020-10-06Ensure that associated types for trait objects satisfy their boundsMatthew Jasper-13/+51
2020-10-06Remove unused part of return value from `replace_bound_vars_with_placeholders`Matthew Jasper-5/+5
2020-10-06Check projections are well-formed when using projection candidatesMatthew Jasper-26/+43
2020-10-06Rename projection_predicates to item_boundsMatthew Jasper-4/+2
2020-09-28move candidate_from_obligation_no_cacheBastian Kauschke-156/+161
2020-09-26Remove unused #[allow(...)] statements from compiler/est31-1/+0
2020-09-24remove enum name from ImplSource variantsBastian Kauschke-18/+14
2020-09-18Wrap recursive predicate evaluation with `ensure_sufficient_stack`Aaron Hill-119/+133
2020-09-13Auto merge of #76244 - vandenheuvel:remove__paramenv__def_id, r=nikomatsakisbors-0/+3