{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// [`EvalCtxt::evaluate_added_goals_and_make_canonical_response`]).
    /// work, then produce a response (typically by executing
    fn probe_and_match_goal_against_assumption(