about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
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
2022-12-04Avoid InferCtxt::build in report_similar_impl_candidatesMichael Goulet-10/+6
2022-12-03Rollup merge of #104199 - SarthakSingh31:issue-97417-1, r=cjgillotMatthias Krüger-20/+15
2022-12-03Rollup merge of #105181 - bhbs:skip-note, r=estebankYuki Okushi-15/+20
2022-12-03Rollup merge of #104903 - spastorino:consolidate-normalize-in-report_projecti...Yuki Okushi-21/+48
2022-12-03Don't add a note for implementing a trait if its inner type is erroneousbhbs-15/+20
2022-12-02Define values and err as non mutableSantiago Pastorino-7/+7
2022-12-02Use ocx.normalize in report_projection_errorSantiago Pastorino-17/+44
2022-12-01Document normalization methods on AtMichael Goulet-38/+20
2022-11-30Make sure async constructs do not `impl Generator`Arpad Borsos-1/+5
2022-11-30Auto merge of #104905 - compiler-errors:normalization-changes, r=spastorinobors-73/+51
2022-11-29Rollup merge of #105066 - lcnr:mv-candidate_from_obligation, r=compiler-errorsMatthias Krüger-210/+207
2022-11-29move `candidate_from_obligation` out of assemblylcnr-210/+207
2022-11-29Explain why rematch_impl fails to be infallibleMichael Goulet-0/+7
2022-11-29Auto merge of #105012 - WaffleLapkin:into, r=oli-obkbors-4/+2
2022-11-29Rollup merge of #104959 - compiler-errors:revert-104269, r=lcnrMatthias Krüger-6/+4
2022-11-28Simplify checking for `GeneratorKind::Async`Arpad Borsos-12/+3