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 8fde1ad commit dfdd8bfCopy full SHA for dfdd8bf
tests/pos-custom-args/captures/invariant-cc.scala renamed to tests/pos-custom-args/captures/invariant-cc.scala.disabled
@@ -3,6 +3,8 @@ import scala.annotation.unchecked.uncheckedVariance
3
4
trait IterableFactory[+CC[_]] extends Pure:
5
6
+ // TODO: elem.type is not a singleton type
7
+
8
def fill[A](n: Int)(elem: => A): CC[A]^{elem} = ???
9
def fill[A](n1: Int, n2: Int)(elem: => A): CC[(CC[A]^{elem}) @uncheckedVariance]^{elem} =
10
fill[CC[A]^{elem}](n1)(fill(n2)(elem))
0 commit comments