{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// don't want to do that instantiation, since it has already been done effectively.
    /// This function returns `Some(args)` in the former case and `None` otherwise -- i.e., if