This is unnecessary, since `assert` will produce an appropriate error.