syntax_data: {"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// hidden types defined by borrowck, without being able to define any new ones.
context_before:     /// Any analysis after borrowck for a given body should be able to use all the
context_after:     ///