{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"ecx.probe_trait_candidate(source)"}]}
        ecx.probe_trait_candidate(source)
            .enter(|ecx| Self::match_assumption(ecx, goal, assumption, then))