{"ast_node_type":"variable","tokens":[{"end":70,"kind":"keyword","start":0,"text":"let"}]}
        let output_ty = self.resolve_vars_if_possible(predicate.term);
        // does not have any regions in it.
        debug!("deduce_future_output_from_projection: output_ty={:?}", output_ty);