Mention signature rather than fn pointers when comparing impl/trait methods

2022-12-24 23:17:25 +00:00
parent e5d46a5bda
commit 49f849a3d2
39 changed files with 169 additions and 142 deletions
--- a/compiler/rustc_infer/src/infer/mod.rs
+++ b/compiler/rustc_infer/src/infer/mod.rs
@@ -361,6 +361,7 @@ pub enum ValuePairs<'tcx> {
    Terms(ExpectedFound<ty::Term<'tcx>>),
    TraitRefs(ExpectedFound<ty::TraitRef<'tcx>>),
    PolyTraitRefs(ExpectedFound<ty::PolyTraitRef<'tcx>>),
+    Sigs(ExpectedFound<ty::FnSig<'tcx>>),
 }

 impl<'tcx> ValuePairs<'tcx> {