[Predicate] Use a global atomic counter for VariableID#434
Merged
Azoy merged 2 commits intoswiftlang:mainfrom Feb 22, 2024
Merged
[Predicate] Use a global atomic counter for VariableID#434Azoy merged 2 commits intoswiftlang:mainfrom
Azoy merged 2 commits intoswiftlang:mainfrom