{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
        /// The region that should be shorter, but we can't prove it.
        longer_fr: RegionVid,
        shorter_fr: RegionVid,