{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"///"}]}
    /// would be unnecessary repetition.
    /// emitting the same diagnostic with extended help (`--teach`) twice, which
    taught_diagnostics: FxHashSet<ErrCode>,