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 6e7e1cb commit 89aa1ddCopy full SHA for 89aa1dd
tests/pos-custom-args/captures/i13816.scala
@@ -37,15 +37,11 @@ def foo7(i: Int)(using CanThrow[Ex1]): Unit throws Ex1 | Ex2 =
37
def foo8(i: Int)(using CanThrow[Ex2]): Unit throws Ex2 | Ex1 =
38
if i > 0 then throw new Ex1 else throw new Ex2
39
40
-/** Does not work yet since the type of the rhs is not hygienic
41
-
42
def foo9(i: Int): Unit throws Ex1 | Ex2 | Ex3 =
43
if i > 0 then throw new Ex1
44
else if i < 0 then throw new Ex2
45
else throw new Ex3
46
47
-*/
48
49
def test(): Unit =
50
try
51
foo1(1)
0 commit comments