From b30e0cb052522a03b827e636c1d76219690e3d81 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Thu, 24 Nov 2016 12:45:40 +0800
Subject: HIR Typecheck Expr - Defer unsize to TraitObject if there are magic
 parameters

---
 src/hir_typeck/expr_cs.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp
index 1e1997b1..962bf42c 100644
--- a/src/hir_typeck/expr_cs.cpp
+++ b/src/hir_typeck/expr_cs.cpp
@@ -4264,6 +4264,11 @@ namespace {
                     return false;
                 }
                 
+                if( best_impl.has_magic_params() ) {
+                    DEBUG("Defer as there were magic parameters");
+                    return false;
+                }
+                
                 // TODO: Get a better way of equating these that doesn't require getting copies of the impl's types
                 context.equate_types(sp, ty_src, best_impl.get_impl_type());
                 auto args = best_impl.get_trait_params();
-- 
cgit v1.2.3