{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
/// region -- and therefore not one whose value is really meant to be
/// to a check like `'a: 'x` where `'a` is a universally quantified
/// *inferred*, precisely (this is not always the case: one can have a