{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// The plain name does not include type arguments (as `trimmed_name` does),
    ///
    /// which is more convenient to match with intrinsic symbols.