{"ast_node_type":"function","tokens":[{"end":47,"kind":"keyword","start":0,"text":"fn"}]}
    fn probe_and_match_goal_against_assumption(
    /// [`EvalCtxt::evaluate_added_goals_and_make_canonical_response`]).
        ecx: &mut EvalCtxt<'_, D>,