{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"///"}]}
    /// scope on this function relate to one another.
    /// Information about how the universally quantified regions in
    universal_region_relations: Frozen<UniversalRegionRelations<'tcx>>,