Types that are not valid when they contain certain bit patterns.
impl<H> UndefState for String<H> where H: Allocator,