{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"display_target:"}]}
        display_target: DisplayTarget,
        span_formatter: impl Fn(FileId, TextRange) -> String,
    ) -> std::result::Result<(), std::fmt::Error> {