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