Test the contradictory data type conditions are detected and reported. The
test covers type conditions that are incompatible with the given data type
as well as type conditions that are mutually incompatible.
