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