LLVM makes use of assertions to validate things like this, but many users of LLVM, including rustc, turn them off for performance reasons.