syntax_data: {"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// When working with higher-ranked types, some region relations aren't
context_before: ///
context_after: /// yet known, so you can't just call `resolve_regions_and_report_errors`.