{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"RegionSnapshot"}]}
        RegionSnapshot { any_unifications: self.storage.any_unifications }
        debug!("RegionConstraintCollector: start_snapshot");
    }