/
exceptionsIoNeg.check
61 lines (61 loc) · 1.61 KB
/
exceptionsIoNeg.check
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
newSource:12: error: effect type mismatch;
found : @throws[java.io.IOException|InterruptedException] @io
required: @throws[Nothing] @noIo
@throws[java.io.IOException|InterruptedException] does not conform to @throws[Nothing]
@io does not conform to @noIo
h()
^
newSource:17: error: effect type mismatch;
found : @throws[Throwable]
required: @throws[Nothing]
println()
^
newSource:17: error: effect type mismatch;
found : @throws[Throwable] @io
required: @throws[Nothing] @io
@throws[Throwable] does not conform to @throws[Nothing]
println()
^
newSource:21: error: effect type mismatch;
found : @io
required: @noIo
f()
^
newSource:22: error: effect type mismatch;
found : @io
required: @noIo
f()
^
newSource:27: error: effect type mismatch;
found : @throws[java.io.IOException]
required: @throws[Nothing]
g()
^
newSource:26: error: effect type mismatch;
found : @io
required: @noIo
f()
^
newSource:31: error: effect type mismatch;
found : @throws[Nothing] @io
required: @throws[Nothing] @noIo
@io does not conform to @noIo
f()
^
newSource:39: error: effect type mismatch;
found : @throws[C.this.E1]
required: @throws[Nothing]
throw new E1
^
newSource:43: error: effect type mismatch;
found : @throws[Throwable] @noIo
required: @throws[Nothing] @noIo
@throws[Throwable] does not conform to @throws[Nothing]
(f(): @noIo)
^
newSource:50: error: effect type mismatch;
found : @throws[Throwable] @noIo
required: @throws[Nothing] @noIo
@throws[Throwable] does not conform to @throws[Nothing]
}: @noIo
^