diff --git a/src/library/metavar_util.h b/src/library/metavar_util.h
index 4c111e9578..e73d963c2e 100644
--- a/src/library/metavar_util.h
+++ b/src/library/metavar_util.h
@@ -69,6 +69,8 @@ bool has_assigned(CTX const & ctx, expr const & e) {
                 found = true;
                 return false; // stop search
             }
+            if (is_metavar(e))
+                return false; // do not search type
             return true; // continue search
         });
     return found;