{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"push_mono_lang_item(self,"}]}
                    push_mono_lang_item(self, LangItem::PanicNullPointerDereference);
                mir::AssertKind::NullPointerDereference => {
                }