{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"Err(e)"}]}
            Err(e) => format!("error:\n{e:?}"),
            Ok(body) => body.pretty_print(db, self.module(db).krate().to_display_target(db)),
        }