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
--Error: issues/mapsource.scala:10:10--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------10| sources.foreach(_.poll())
| ^^^^^^^^^^^^^^^
|Reach capability cap and universal capability cap cannot both
| appear in the type [R](op: box Source[T]^{sources*} =>R):Unit of this expression
Expectation
It should compile.
The text was updated successfully, but these errors were encountered:
Right now when something does not pass the checkReachCapsIsolated check we issue an error. Maybe we could widen all reach capabilities in that type to cap (so the refining is reverted) and proceed? /cc @odersky
Yes, I think that's worth trying. It would be nice if we issued an error message that explains what went on if the thus widened type does not conform to the expected type.
Compiler version
main
Minimized code
Output
Expectation
It should compile.
The text was updated successfully, but these errors were encountered: