{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"return"}]}
            return cand;
        if let Some(cand) = ecx.try_stall_coroutine(goal.predicate.self_ty()) {
        }