summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-12-13Combine identical alias armsMichael Goulet-26/+13
2022-12-13Combine projection and opaque into aliasMichael Goulet-50/+59
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-26/+23
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-55/+49
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-12/+14
2022-12-13tidy: ignore filelengthakida31-0/+1
2022-12-13reduce to single suggestion for all argumentsakida31-13/+24
2022-12-13remove manual `fn_decl` extractionakida31-17/+3
2022-12-13change error messageakida31-2/+2
2022-12-13move changes to an extra functionakida31-66/+76
2022-12-13Remove `hint` from help messageakida31-2/+2
2022-12-13Improve diagnostic when passing arg to closure and missing borrow.akida31-0/+73
2022-12-13Remove invalid case for mutable borrow suggestionDeep Majumder-0/+11
2022-12-13Use a label instead of a note for the drop site to create denser diagnosticsOli Scherer-10/+1
2022-12-13Make some diagnostics not depend on the source of what they reference being a...Oli Scherer-11/+10
2022-12-13Rollup merge of #105332 - estebank:iterator-chains, r=oli-obkMatthias Krüger-62/+420
2022-12-12Do not `skip_binder`sEsteban Küber-6/+9
2022-12-12Move logic to their own methodsEsteban Küber-362/+391
2022-12-11Point at method call when it is the source of the bound errorEsteban Küber-0/+10
2022-12-11Rollup merge of #105283 - compiler-errors:ty-var-in-hir-wfcheck, r=nagisaMatthias Krüger-0/+1
2022-12-11Use `with_forced_trimmed_paths`Esteban Küber-13/+28
2022-12-11Only point at methods that might be relevantEsteban Küber-2/+17
2022-12-11Add label to method chains where assoc type remains the sameEsteban Küber-0/+5
2022-12-11Remove mention of "assoc type" in label as it is already in the `note` messageEsteban Küber-7/+5
2022-12-11Account for method call chains split across multiple bindingsEsteban Küber-0/+12
2022-12-11Mention only assoc types changesEsteban Küber-27/+69
2022-12-11Provide associated type information in method chainsMichael Goulet-34/+263
2022-12-10Introduce `with_forced_trimmed_paths`Esteban Küber-3/+4
2022-12-09Introduce `Span::is_visible`Esteban Küber-3/+3
2022-12-09Rollup merge of #105443 - compiler-errors:move-more, r=oli-obkMatthias Krüger-517/+398
2022-12-08Move codegen_select_candidate to a rustc_traitsMichael Goulet-90/+0
2022-12-08Move vtable methods into its own moduleMichael Goulet-378/+398
2022-12-08Move has_structural_eq_impls provider to rustc_ty_utilsMichael Goulet-49/+0
2022-12-07Rollup merge of #105400 - BoxyUwU:braced_param_evaluatability, r=oli-obkMatthias Krüger-1/+1
2022-12-06normalize before matching on `ConstKind`Boxy-1/+1
2022-12-06typo :(Boxy-1/+1
2022-12-06Rollup merge of #105342 - compiler-errors:note_cause_code-takes-predicate, r=...Matthias Krüger-50/+81
2022-12-06Rollup merge of #105340 - estebank:ice-ice-baby, r=compiler-errorsMatthias Krüger-1/+1
2022-12-06Rollup merge of #105339 - BoxyUwU:wf_ct_kind_expr, r=TaKO8KiMatthias Krüger-20/+57
2022-12-05Avoid ICE by accounting for missing typeEsteban Küber-1/+1
2022-12-06Rollup merge of #105338 - estebank:other-impls, r=compiler-errorsYuki Okushi-2/+10
2022-12-06Rollup merge of #105324 - compiler-errors:gat-where-clause-binding-obl, r=jac...Yuki Okushi-5/+25
2022-12-06Avoid noting cause code (which is usually misc, b/c codegen) for opaque type ...Michael Goulet-49/+80
2022-12-06drive-by: Default param for ToPredicateMichael Goulet-1/+1
2022-12-05support `Expr` in `is_const_evaluatable` and `compute`Boxy-20/+57
2022-12-05Tweak "the following other types implement trait"Esteban Küber-2/+10
2022-12-05Point at GAT where clause when unsatisfiedMichael Goulet-5/+25
2022-12-05Don't call diagnostic_hir_wf_check query if we have infer variablesMichael Goulet-0/+1
2022-12-05Auto merge of #104920 - compiler-errors:avoid-infcx-build, r=jackh726bors-10/+6
2022-12-04Auto merge of #105094 - Swatinem:generator-not-future, r=compiler-errorsbors-1/+5