about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-12-14Fix a freshly detected wrong TraitRefOli Scherer-9/+5
2022-12-14Prevent the creation of `TraitRef` without dedicated methodsOli Scherer-5/+2
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-8/+8
2022-12-14Remove many more cases of `mk_substs_trait` that can now use the iterator sch...Oli Scherer-8/+3
2022-12-14Rename to match similar methodsOli Scherer-4/+4
2022-12-14Guard `AliasTy` creation against passing the wrong number of substsOli Scherer-17/+9
2022-12-14skip if val has ecaping bound varsouz-a-13/+15
2022-12-14Rollup merge of #105595 - TaKO8Ki:suggest-dereferencing-receiver-argument, r=...Matthias Krüger-6/+28
2022-12-14Rollup merge of #105523 - estebank:suggest-collect-vec, r=compiler-errorsMatthias Krüger-56/+23
2022-12-14Clean up mut keyword checkDeep Majumder-7/+3
2022-12-14Auto merge of #104986 - compiler-errors:opaques, r=oli-obkbors-117/+101
2022-12-13Auto merge of #105667 - matthiaskrgr:rollup-fexlc0b, r=matthiaskrgrbors-21/+11
2022-12-14suggest dereferencing receiver arguments properlyTakayuki Maeda-6/+28
2022-12-13Mention implementations that satisfy the traitEsteban Küber-2/+19
2022-12-13Remove unnecessary code and account for turbofish suggestionEsteban Küber-54/+4
2022-12-13Address nitsMichael Goulet-6/+1
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