syntax_data: {"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// This is for reporting *region* errors from those bounds. Type errors should
context_before: ///
context_after: /// not happen because the specialization graph already checks for those, and