{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"ecx:"}]}
        ecx: &mut EvalCtxt<'_, D>,
    fn probe_and_match_goal_against_assumption(
        source: CandidateSource<I>,