{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"///"}]}
    /// FIXME(higher_ranked_auto): This could still just be true if there are only assumptions?
    ///
    /// Because I don't expect for us to get cases where an assumption from one query would