Turn check that's always true into an assert

Keno · Keno · commit defb85d8b5b4 · 2021-01-10T04:38:22.000-05:00
diff --git a/src/subtype.c b/src/subtype.c
@@ -1058,7 +1058,8 @@ static int subtype_tuple_tail(jl_datatype_t *xd, jl_datatype_t *yd, int8_t R, jl
         if (!check_vararg_length(yi, lx+1-ly, e))
             return 0;
     }
-    return (lx + vx == ly + vy) || (vy && (lx >= (vx ? ly : (ly-1))));
+    assert((lx + vx == ly + vy) || (vy && (lx >= (vx ? ly : (ly-1)))));
+    return 1;
 }
 
 static int subtype_tuple(jl_datatype_t *xd, jl_datatype_t *yd, jl_stenv_t *e, int param)

Original file line number	Diff line number	Diff line change
`@@ -1058,7 +1058,8 @@ static int subtype_tuple_tail(jl_datatype_t xd, jl_datatype_t yd, int8_t R, jl`
`1058`	`1058`	`if (!check_vararg_length(yi, lx+1-ly, e))`
`1059`	`1059`	`return 0;`
`1060`	`1060`	`}`
`1061`		`- return (lx + vx == ly + vy) \|\| (vy && (lx >= (vx ? ly : (ly-1))));`
	`1061`	`+ assert((lx + vx == ly + vy) \|\| (vy && (lx >= (vx ? ly : (ly-1)))));`
	`1062`	`+ return 1;`
`1062`	`1063`	`}`
`1063`	`1064`
`1064`	`1065`	`static int subtype_tuple(jl_datatype_t xd, jl_datatype_t yd, jl_stenv_t *e, int param)`