{"ast_node_type":"function","tokens":[{"end":100,"kind":"keyword","start":0,"text":"fn"}]}
    fn give_name_if_anonymous_region_appears_in_output(&self, fr: RegionVid) -> Option<RegionName> {
    #[instrument(level = "trace", skip(self))]
        let tcx = self.infcx.tcx;