HIR Typecheck Expr - Defer unsize to TraitObject if there are magic parameters

1 files changed, 5 insertions, 0 deletions

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();