This tracks figuring out why we can't assert this, or if some other invariant is broken.
<rdar://problem/74170461>