Spec for another case where delared type is not respsected.  This should to be fixed but other refactoring may make it easier.