There are many places in the codebase where things are checked as follows:
if (xxx == LayoutKind::ABC) or if (yyy == ArrayProperties::DEF) with respective else branches. Where possible, more assertions should be added to ensure invariants and assumptions are not violated.