{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":".unwrap();"}]}
                .unwrap();
            e.pretty_print(&mut err, &db, span_formatter, DisplayTarget::from_crate(&db, krate))
            panic!("Error in interpreting: {err}");