Closed lexidor closed 3 years ago
The while loop will spin until $idx is nonnull. This invariant was needed previously, but a recent commit changed the code in such a way that the typechecker can understand this invariant.
@fredemmott merged this pull request in hhvm/hsl-experimental@1303708daf8915bc8837cff75af51ff604728229.
The while loop will spin until $idx is nonnull. This invariant was needed previously, but a recent commit changed the code in such a way that the typechecker can understand this invariant.