Re-opening this, as there's a much more common case where a typecheck of the 
coercion result would be desired and that's when coercion results in a Failure:

    <Zoffix_> m: multi sub foo(Int() $) { }; foo Inf
    <camelia> rakudo-moar 5a6ff4073: ( no output )

Reply via email to