remove asserts

type-intersect makes mistakes, and does not need to crash the process when it does

Author: vtjnash

base/staticdata.jl

@@ -313,7 +313,7 @@ function method_morespecific_via_interferences(method1::Method, method2::Method)
         return false
     end
     ms = method_in_interferences_recursive(method2, method1, IdSet{Method}())
-    # slow check: @assert ms === morespecific(method1, method2) || typeintersect(method1.sig, method2.sig) === Union{}
+    # slow check: @assert ms === morespecific(method1, method2) || typeintersect(method1.sig, method2.sig) === Union{} || typeintersect(method2.sig, method1.sig) === Union{}
     return ms
 end
 

src/gf.c

@@ -2744,8 +2744,7 @@ static int method_morespecific_via_interferences(jl_method_t *target_method, jl_
     arraylist_new(&seen, 0);
     int result = method_in_interferences_recursive(start_method, target_method, &seen);
     arraylist_free(&seen);
-    assert(result == jl_method_morespecific(target_method, start_method));
-    assert(!jl_has_empty_intersection(target_method->sig, start_method->sig));
+    //assert(result == jl_method_morespecific(target_method, start_method) || jl_has_empty_intersection(target_method->sig, start_method->sig) || jl_has_empty_intersection(start_method->sig, target_method->sig));
     return result;
 }