{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// `trimmed_def_paths` function? Backtrace is the location of the call.
    /// Must we produce a diagnostic to justify the use of the expensive
    must_produce_diag: Option<Backtrace>,