While there, also use the new is_arg_defaulted API instead of going to poke the internal API directly.