{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"BoundsCheck"}]}
            BoundsCheck { .. } | MisalignedPointerDereference { .. } => {
                bug!("Unexpected AssertKind")