{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// Recursively evaluates `goal`, returning whether any inference vars have
    /// been constrained and the certainty of the result.