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