syntax_data: {"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"+"}]}
source_snippet:     + IntoKind<Kind = ty::Binder<I, ty::ClauseKind<I>>>
context_before:     + UpcastFrom<I, ty::Binder<I, ty::ProjectionPredicate<I>>>
context_after:     + Elaboratable<I>