From 73ab5c77c23a31e9009b06b1b3b0e452abc581be Mon Sep 17 00:00:00 2001
From: David Renshaw <david@sandstorm.io>
Date: Thu, 29 Jun 2017 07:58:22 -0400
Subject: [PATCH] normalize signature before passing to check_sig_compat

---
 src/terminator/mod.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/terminator/mod.rs b/src/terminator/mod.rs
index 534eb777e41..68d03b2aaff 100644
--- a/src/terminator/mod.rs
+++ b/src/terminator/mod.rs
@@ -76,6 +76,7 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> {
                                 let real_sig = instance_ty.fn_sig(self.tcx);
                                 let sig = self.erase_lifetimes(&sig);
                                 let real_sig = self.erase_lifetimes(&real_sig);
+                                let real_sig = self.tcx.normalize_associated_type(&real_sig);
                                 if !self.check_sig_compat(sig, real_sig)? {
                                     return Err(EvalError::FunctionPointerTyMismatch(real_sig, sig));
                                 }