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