*<Null safety>*
const UnmodifiableSetView<E>.empty()
const factory UnmodifiableSetView.empty() = EmptyUnmodifiableSet<E>;