{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"Self::probe_and_match_goal_against_assumption(ecx,"}]}
        Self::probe_and_match_goal_against_assumption(ecx, source, goal, assumption, |ecx| {
    ) -> Result<Candidate<I>, NoSolution> {
            let cx = ecx.cx();