{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"candidates.extend(Self::probe_and_match_goal_against_assumption("}]}
            candidates.extend(Self::probe_and_match_goal_against_assumption(
        ) {
                ecx,