This was uncovered by examining ietf-inet-types-2013-07-15 code. Ipv4AddressNoZone does not contain the constants to enforce the format – hence it is guaranteed to to be equivalent to Ipv4Adress, but nothing else.