fixup! future-based compiler (semi-stackless)

base/compiler/abstractinterpretation.jl

@@ -187,7 +187,7 @@ function abstract_call_gf_by_type(interp::AbstractInterpreter, @nospecialize(f),
         end
 
         if seenall
-            if !fully_covering(matches) || any_ambig(matches))
+            if !fully_covering(matches) || any_ambig(matches)
                 # Account for the fact that we may encounter a MethodError with a non-covered or ambiguous signature.
                 all_effects = Effects(all_effects; nothrow=false)
                 exctype = exctype ⊔ₚ MethodError
@@ -2312,7 +2312,7 @@ function abstract_throw_methoderror(interp::AbstractInterpreter, argtypes::Vecto
         ⊔ = join(typeinf_lattice(interp))
         MethodError ⊔ ArgumentError
     end
-    return CallMeta(Union{}, exct, EFFECTS_THROWS, NoCallInfo())
+    return Future(CallMeta(Union{}, exct, EFFECTS_THROWS, NoCallInfo()))
 end
 
 # call where the function is known exactly
@@ -2474,7 +2474,7 @@ function abstract_call_opaque_closure(interp::AbstractInterpreter,
             ftt = closure.typ
             rty = (unwrap_unionall(ftt)::DataType).parameters[2]
             rty = rewrap_unionall(rty isa TypeVar ? rty.ub : rty, ftt)
-            if (rt ⊑ rty && sig ⊑ ocsig_box.contents)
+            if !(rt ⊑ rty && sig ⊑ ocsig_box.contents)
                 effects = Effects(effects; nothrow=false)
                 exct = exct ⊔ TypeError
             end