{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"let"}]}
        let ProbeCtxt { ecx: outer, probe_kind, _result } = self;
    pub(in crate::solve) fn enter(self, f: impl FnOnce(&mut EvalCtxt<'_, D>) -> T) -> T {