{"ast_node_type":"function","tokens":[{"end":78,"kind":"keyword","start":0,"text":"fn"}]}
    fn sub_concrete_regions(&self, a: Region<'tcx>, b: Region<'tcx>) -> bool {
    #[instrument(level = "trace", skip(self))]
        let tcx = self.tcx();