swift
Track recursive properties and outer substitutions for opened existential environments
#75995
Merged

Loading