{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
        /// `Some(trait_)` if `trait_` is being instantiated with `args`
        args: Option<ast::GenericArgList>,
        of_trait: Option<hir::Trait>,