dataToTag#: Skip runtime tag check if argument is infered tagged

If we already infered the argument is tagged there is really no point in doing a tag check at runtime.