Add WeakHashSet from scala/scala 2.12.x 5a5ed5826f297bca6291
Add WeakHashSet from scala/scala 2.12.x 5a5ed5826f297bca6291

lampepfl/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,som-snytt/dotty,sjrd/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,som-snytt/dotty,som-snytt/dotty,dotty-staging/dotty,sjrd/dotty,som-snytt/dotty,som-snytt/dotty,dotty-staging/dotty