Expectation: `LazyHashSet` implements `LazySet`
Expectation:
LazyHashSetimplementsLazySet