syntax_data: {"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// A "placeholder" that represents "any region". Created when you
context_after:     /// are solving a goal like `for<'a> T: Foo<'a>` to represent the