syntax_data: {"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// has been replaced with `self_ty` (e.g., `self_ty: PartialEq<u32>`, in our example).
context_before:     /// and a concrete type `self_ty`, returns a full predicate where the existentially quantified variable `?Self`
context_after:     pub fn with_self_ty(&self, cx: I, self_ty: I::Ty) -> I::Clause {