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 23c83ef commit c9f7ee0Copy full SHA for c9f7ee0
tests/pos-custom-args/captures/i13816.scala
@@ -7,7 +7,7 @@ class Ex3 extends Exception("Ex3")
7
def foo0(i: Int): (CanThrow[Ex1], CanThrow[Ex2]) ?-> Unit =
8
if i > 0 then throw new Ex1 else throw new Ex2
9
10
-/* Does not work yet since annotated CFTs are not recognized properly in typer
+/* Does not work yet curried dependent CFTs are not yet handled in typer
11
12
def foo01(i: Int): (ct: CanThrow[Ex1]) ?-> CanThrow[Ex2] ?->{ct} Unit =
13
0 commit comments