{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"if"}]}
                if let AssertKind::BoundsCheck { len, index } = &**msg {
                    if len.ty(self.body, tcx) != tcx.types.usize {