Also disable word splitting when the matches are not fully covered (regardless of number of methods) [Using Claude]

Author: LilithHafner

Compiler/src/abstractinterpretation.jl

@@ -122,6 +122,12 @@ function abstract_call_gf_by_type(interp::AbstractInterpreter, @nospecialize(fun
         return Future(CallMeta(Any, Any, Effects(), NoCallInfo()))
     end
 
+    # Disable inference when not fully covered (similar to union split limit)
+    if !fully_covering(matches)
+        add_remark!(interp, sv, "Inference disabled for method without full coverage")
+        return Future(CallMeta(Any, Any, Effects(), NoCallInfo()))
+    end
+
     (; valid_worlds, applicable) = matches
     update_valid_age!(sv, get_inference_world(interp), valid_worlds) # need to record the negative world now, since even if we don't generate any useful information, inlining might want to add an invoke edge and it won't have this information anymore
     if bail_out_toplevel_call(interp, sv)