syntax_data: {"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// bound region `'a`.
context_before:     /// are solving a goal like `for<'a> T: Foo<'a>` to represent the
context_after:     PlaceholderRegion(I::PlaceholderRegion),