syntax_data: {"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// -- i.e., within `bar`, we can name both `T` and `Foo`, but outside
context_before:     /// parameter `T`, introduced on `bar`, is in an extended universe U1
context_after:     /// of `bar`, we cannot name `T`. Then, within the type of `y`, the