A meta function is supposed to raise an error if input dtypes are incorrect. So we must do a condition on the input dtype to check if they are valid.

A typical kernel needs to do a dispatch on dtype to actually get to the dtype-specialized kernel.

This means that the meta-impl split means we have to redundantly condition on dtypes twice, whereas previously it only needed to be done once. It would be nice if this weren't the case.