Remove unneeded check

JuliaLang · Nov 23, 2023 · 4ea1a1f · 4ea1a1f
1 parent b9fdc9c
commit 4ea1a1f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/subtype.c b/src/subtype.c
@@ -4499,8 +4499,7 @@ static jl_value_t *widen_diagonal(jl_value_t *t, jl_unionall_t *u, jl_varbinding
     if (vb.innervars != NULL) {
         for (size_t i = 0; i < jl_array_nrows(vb.innervars); i++) {
             jl_tvar_t *var = (jl_tvar_t*)jl_array_ptr_ref(vb.innervars, i);
-            if (jl_has_typevar(nt, var))
-                nt = jl_type_unionall(var, nt);
+            nt = jl_type_unionall(var, nt);
         }
     }
     JL_GC_POP();