syntax_data: {"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// Updates the goal to one with a different `predicate` but the same `param_env`.
context_after:     pub fn with<Q>(self, cx: I, predicate: impl Upcast<I, Q>) -> Goal<I, Q> {