{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    /// also select obligations if it seems useful, in an effort
    /// version (resolve_vars_if_possible), this version will
    /// to get more type information.