{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"mir::AssertKind::BoundsCheck"}]}
                mir::AssertKind::BoundsCheck { .. } => {
            mir::TerminatorKind::Assert { ref msg, .. } => match &**msg {
                    push_mono_lang_item(self, LangItem::PanicBoundsCheck);