Mark Set as Indexish in the typechecker

Summary: It is now thus in HHVM Reviewed By: huntergoldstein Differential Revision: D13133439 fbshipit-source-id: e29017e65a0a75de4dd8619f02cace682ae15079
facebook · Nov 20, 2018 · 47d79d434d63d1a93d18ef31a0d55df11f41bfd4 · 47d79d4
1 parent 0ae8f5e
commit 47d79d434d63d1a93d18ef31a0d55df11f41bfd4
Unified Split

Showing with 3 additions and 3 deletions.

+1 −1 hphp/hack/hhi/collections/interfaces.hhi

+2 −2 hphp/hack/hhi/interfaces.hhi
diff --git a/hphp/hack/hhi/collections/interfaces.hhi b/hphp/hack/hhi/collections/interfaces.hhi
@@ -1403,7 +1403,7 @@ interface MutableMap<Tk, Tv> extends ConstMap<Tk, Tv>,
 interface ConstSet<+Tv> extends ConstCollection<Tv>,
                                ConstSetAccess<Tv>,
                                HH\Rx\KeyedIterable<arraykey, Tv>,
-                                Container<Tv> {
+                                Indexish<Tv, Tv> {
  /**
   * Returns a `ConstVector` containing the values of the current `ConstSet`.
   *
diff --git a/hphp/hack/hhi/interfaces.hhi b/hphp/hack/hhi/interfaces.hhi
@@ -87,7 +87,7 @@ interface KeyedTraversable<+Tk, +Tv> extends Traversable<Tv> {}
 * @guide /hack/collections/introduction
 * @guide /hack/collections/interfaces
 */
-<<__Sealed(KeyedContainer::class, ConstSet::class)>>
+<<__Sealed(KeyedContainer::class)>>
 interface Container<+Tv> extends \HH\Rx\Traversable<Tv> {}

 /**
@@ -123,7 +123,7 @@ interface KeyedContainer<+Tk, +Tv> extends \HH\Rx\KeyedTraversable<Tk, Tv>, Cont
 * @guide /hack/collections/interfaces
 * @guide /hack/collections/read-write
 */
-<<__Sealed(ConstVector::class, ConstMap::class, ImmMap::class, dict::class, keyset::class, vec::class)>>
+<<__Sealed(ConstVector::class, ConstMap::class, ImmMap::class, ConstSet::class, dict::class, keyset::class, vec::class)>>
 interface Indexish<+Tk, +Tv> extends KeyedContainer<Tk, Tv> {}

 /**