{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"///"}]}
/// was named by the user would get `NamedLateParamRegion` and `'static` lifetime would get
/// Denotes the source of a region that is named by a `RegionName`. For example, a free region that
/// `Static`. This helps to print the right kinds of diagnostics.