about summary refs log tree commit diff
path: root/src/librustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-04-10Auto merge of #70986 - marmeladema:issue70853/librustc_middle-local-def-id, r...bors-1/+2
2020-04-10Rollup merge of #69745 - estebank:predicate-obligations-3, r=nikomatsakis,eddybMazdak Farrokhzad-22/+38
2020-04-10librustc_middle: return LocalDefId instead of DefId in body_owner_def_idmarmeladema-3/+3
2020-04-10librustc_middle: return LocalDefId instead of DefId in opt_local_def_idmarmeladema-1/+2
2020-04-08Small tweaks to required bound spanEsteban Küber-4/+12
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-20/+28
2020-04-08do_normalize_predicates: add delay_span_bugBastian Kauschke-1/+1
2020-04-08replace `has_local_value` with `needs_infer`Bastian Kauschke-8/+8
2020-04-08Rollup merge of #70892 - lcnr:interators_are_nice, r=nikomatsakisDylan DPC-155/+151
2020-04-07wf: refactor `compute_trait_ref`Bastian Kauschke-155/+151
2020-04-07Rollup merge of #70857 - faern:use-assoc-int-float-consts, r=dtolnayDylan DPC-7/+3
2020-04-07Auto merge of #70164 - eddyb:walk-generic-arg, r=nikomatsakisbors-114/+181
2020-04-07Use assoc integer constants in librustc_*Linus Färnstrand-7/+3
2020-04-07Rollup merge of #70821 - rkuhn:expose_suggestions_InferCtxtExt, r=eddybDylan DPC-1/+2
2020-04-06ty: remove `{Existential,}Trait{Ref,Predicate}::input_types`.Eduard-Mihai Burtescu-23/+39
2020-04-06ty: switch `Ty::walk` from `Ty` to `GenericArg`.Eduard-Mihai Burtescu-74/+94
2020-04-06traits/coherence: stop using `Ty::walk_shallow`.Eduard-Mihai Burtescu-19/+50
2020-04-06Update src/librustc_trait_selection/traits/error_reporting/suggestions.rsRoland Kuhn-1/+1
2020-04-05expose suggestions::InferCtxtExt for clippyRoland Kuhn-1/+2
2020-04-05"cannot resolve" → "cannot satisfy"Esteban Küber-5/+5
2020-04-03Rollup merge of #70641 - estebank:dedup-code, r=nikomatsakisMazdak Farrokhzad-295/+2
2020-04-03Rollup merge of #70731 - JohnTitor:follow-up-rustc-middle, r=eddybDylan DPC-1/+1
2020-04-03Minor follow-up after renaming librustc(_middle)Yuki Okushi-1/+1
2020-04-03.unwrap() less on .span_to_snippet()Mazdak Farrokhzad-17/+15
2020-04-03get_fn_like_arguments: avoid .unwrapMazdak Farrokhzad-33/+24
2020-04-02Rollup merge of #70658 - davidtwco:issue-70285-still-further-specializable, r...Mazdak Farrokhzad-1/+1
2020-04-02direct imports for langitem stuffMazdak Farrokhzad-3/+3
2020-04-02use direct import for ErrorReportedMazdak Farrokhzad-5/+3
2020-04-02nix rustc_target::abi::* reexport in ty::layoutMazdak Farrokhzad-1/+1
2020-04-02add `STILL_FURTHER_SPECIALIZABLE` flagDavid Wood-1/+1
2020-04-01Remove duplicated code in trait selectionEsteban Küber-295/+2
2020-03-30Use query instead of `impl_is_default` fnJonas Schievink-2/+1
2020-03-30Sync `Instance::resolve` with the projection codeJonas Schievink-45/+2
2020-03-30spec. graph: track defining and finalizing implsJonas Schievink-55/+14
2020-03-30Simplify `NodeItem`Jonas Schievink-1/+1
2020-03-30Use if let instead of match when only matching a single variant (clippy::sing...Matthias Krüger-94/+83
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-43/+49
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-93/+93
2020-03-30rustc -> rustc_middle part 1Mazdak Farrokhzad-1/+1
2020-03-29Tweak `suggest_constraining_type_param`Esteban Küber-146/+62
2020-03-29Auto merge of #70370 - petrochenkov:nosmatch, r=Centrilbors-5/+5
2020-03-27Rollup merge of #70344 - Centril:hir-pretty, r=eddybDylan DPC-24/+24
2020-03-26make a custom error for overlap with negative implsNiko Matsakis-80/+165
2020-03-26trait_bound_spans -> sized_trait_bound_spansMazdak Farrokhzad-3/+3
2020-03-26Rollup merge of #69866 - estebank:guess_head_span, r=eddybMazdak Farrokhzad-14/+13
2020-03-25Rename `def_span` to `guess_head_span`Esteban Küber-14/+13
2020-03-25Rollup merge of #70319 - lcnr:issue63695, r=eddybDylan DPC-0/+2
2020-03-24Remove attribute `#[structural_match]` and any references to itVadim Petrochenkov-5/+5
2020-03-24Rollup merge of #70213 - eddyb:stalled-on-ty-or-const, r=nikomatsakisMazdak Farrokhzad-27/+27
2020-03-24rustc_hir: nix rustc_errors depMazdak Farrokhzad-24/+24