{"ast_node_type":"variable","tokens":[{"end":53,"kind":"keyword","start":0,"text":"let"}]}
        let error_region = self.to_error_region(fr)?;
    fn give_name_from_error_region(&self, fr: RegionVid) -> Option<RegionName> {