We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d588b90 commit bbe65e2Copy full SHA for bbe65e2
tests/pos/capturing.scala
@@ -1,7 +1,7 @@
1
object Test:
2
3
extension [A <: Any retains *] (xs: LazyList[A])
4
- def lazyMap[B <: Any retains *] (f: A => B retains *): LazyList[B] retains f.type | A | B =
+ def lazyMap[B <: Any retains *] (f: (A => B) retains *): LazyList[B] retains f.type | A | B =
5
val x: Int retains f.type | A = ???
6
val y = x
7
val z: Int retains A retains f.type = y
0 commit comments