summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-01-15Rollup merge of #106863 - anden3:compiler-double-spaces, r=NilstriebMatthias Krüger-1/+1
2023-01-14Auto merge of #106866 - matthiaskrgr:rollup-r063s44, r=matthiaskrgrbors-3/+5
2023-01-14Rollup merge of #106820 - m-ou-se:macro-type-error-thing, r=estebankMatthias Krüger-3/+5
2023-01-14Auto merge of #106696 - kylematsuda:early-binder, r=lcnrbors-21/+25
2023-01-14Removed various double spaces in compiler source comments.André Vennberg-1/+1
2023-01-14Deprioritize fulfillment errors that come from expansions.Mara Bos-3/+5
2023-01-14Add note when `FnPtr` vs. `FnDef` impl traitkadmin-16/+38
2023-01-14fix various subst_identity vs skip_binderKyle Matsuda-10/+11
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-22/+22
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-15/+18
2023-01-14new trait solver: rebase impl substs for gats correctlyMichael Goulet-1/+1
2023-01-13Delay normalization bugs instead of reporting themMichael Goulet-8/+4
2023-01-13Suggest lifetime bound in illegal Copy implMichael Goulet-14/+30
2023-01-13copy self type is implied wfMichael Goulet-1/+14
2023-01-13Check ADT fields for copy implementations considering regionsMichael Goulet-14/+36
2023-01-13Rebase conflictsMichael Goulet-7/+7
2023-01-13Consolidate two almost duplicated fn info extraction routinesMichael Goulet-84/+138
2023-01-13Rollup merge of #106754 - compiler-errors:ty-infer-method-is-confusing, r=lcnrYuki Okushi-2/+5
2023-01-13Auto merge of #106004 - fee1-dead-contrib:const-closures, r=oli-obkbors-16/+20
2023-01-12is_ty_infer -> is_ty_or_numeric_inferMichael Goulet-2/+5
2023-01-12HACK: Handle escaping bound vars from the canonical queryMichael Goulet-1/+1
2023-01-12Implement dummy query responses and a jank instantiateMichael Goulet-38/+97
2023-01-12Rollup merge of #106322 - compiler-errors:CollectAllMismatches-infer-vars, r=...nils-5/+8
2023-01-12Auto merge of #106760 - compiler-errors:rollup-0bogyco, r=compiler-errorsbors-289/+118
2023-01-11Rollup merge of #106360 - estebank:remove-borrow-suggestion, r=compiler-errorsMichael Goulet-34/+94
2023-01-11Rollup merge of #106170 - compiler-errors:autoderef-to-analysis, r=lcnrMichael Goulet-255/+24
2023-01-12Rollup merge of #106748 - clubby789:on-unimplemented-fmt-verify, r=compiler-e...Matthias Krüger-29/+32
2023-01-12Rollup merge of #106596 - estebank:verbose-e0271, r=compiler-errorsMatthias Krüger-7/+46
2023-01-12Rollup merge of #106309 - compiler-errors:prefer-non-err-candidates, r=oli-obkMatthias Krüger-1/+5
2023-01-12fix fmt and blessDeadbeef-6/+2
2023-01-12attempt to make a minimal example workDeadbeef-16/+24
2023-01-11Clean up `OnUnimplementedFormatString::verify`clubby789-29/+32
2023-01-11Hide more of long types in E0271Esteban Küber-7/+46
2023-01-11Use the root trait predicate to determine whether to remove referencesEsteban Küber-0/+8
2023-01-11fix rebaseEsteban Küber-2/+1
2023-01-11Account for type paramsEsteban Küber-29/+59
2023-01-11Make `&`-removal suggestion verboseEsteban Küber-24/+47
2023-01-11Move autoderef to rustc_hir_analysisMichael Goulet-255/+24
2023-01-11Rollup merge of #106705 - compiler-errors:new-solver-err-properly, r=lcnrMatthias Krüger-11/+25
2023-01-11Rollup merge of #106703 - compiler-errors:impl-derived-span, r=estebankMatthias Krüger-4/+24
2023-01-11Filter impl and where-clause candidates that reference errorsMichael Goulet-1/+5
2023-01-11Handle inference variables in CollectAllMismatches correctlyMichael Goulet-5/+8
2023-01-11Note predicate span on ImplDerivedObligationMichael Goulet-4/+24
2023-01-11Report fulfillment errors in new trait solverMichael Goulet-11/+25
2023-01-11Rollup merge of #106397 - compiler-errors:new-solver-impl-wc, r=lcnrnils-6/+21
2023-01-11Change `src/test` to `tests` in source files, fix tidy and testsAlbert Larsan-4/+4
2023-01-11Rollup merge of #106521 - oskgo:remove-E0280, r=jackh726Yuki Okushi-7/+11
2023-01-10remove E0280 and ICE insteadbowlerman-7/+11
2023-01-10Rollup merge of #106204 - compiler-errors:no-take-opaques-in-compare, r=oli-obkYuki Okushi-3/+0
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-3/+0