{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"if"}]}
                if let AssertKind::BoundsCheck { len, index } = &**msg {
                use rustc_middle::mir::AssertKind;
                    self.consume_operand(location, len);