return an invalid type specifier with the lower bound greater than the upper bound, return the *empty-type* in this case.