Function miri::helpers::check_arg_count

source · [−]

pub fn check_arg_count<'a, 'tcx, const N: usize>(
    args: &'a [OpTy<'tcx, Tag>]
) -> InterpResult<'tcx, &'a [OpTy<'tcx, Tag>; N]> where
    &'a [OpTy<'tcx, Tag>; N]: TryFrom<&'a [OpTy<'tcx, Tag>]>,

Expand description

Check that the number of args is what we expect.