Use WeakHashSet instead of HashSet for hash-consing types#12935
Merged
odersky merged 2 commits intoscala:masterfrom Jul 6, 2021
Merged
Use WeakHashSet instead of HashSet for hash-consing types#12935odersky merged 2 commits intoscala:masterfrom
odersky merged 2 commits intoscala:masterfrom