You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
So I checked the issue and discovered that this is actually not a bug in the capture checker and an outcome of a change made in the capture checked stdlib. In the original stdlib, the updated function of IndexedSeqView comes from the SeqOps trait. But now IndexedSeqView extends IndexedSeqViewOps, which in the end extends IterableOps instead of SeqOps, as explained in the comment here.
I'm not quite confident about how it should be fixed. Should we add a method in SeqViewOps? /cc @odersky
Minimization of
tests/run/t5328.scala
Originally posted by @nicolasstucki in #19652 (comment)
The text was updated successfully, but these errors were encountered: