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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
/// PASS
/// Toplevel
class A
{
boolean foo;
boolean getFoo(boolean other) = other || foo;
}
int foo() = 42;
/// PASS
/// Toplevel
class A
{
boolean foo;
boolean getFoo(boolean other) = foo || other;
}
int foo() = 42;
/// PASS
/// Toplevel
class A
{
boolean foo;
boolean getFoo(boolean other) = other && foo;
}
int foo() = 42;
/// PASS
/// Toplevel
class A
{
boolean foo;
boolean getFoo(boolean other) = foo && other;
}
int foo() = 42;
/// PASS
/// Toplevel
class A
{
boolean foo;
boolean getFoo(?String s) = (s == null) || foo;
}
int foo() = 42;
/// PASS
/// Toplevel
class A
{
boolean foo;
boolean getFoo(?String s) = (s != null) && foo;
}
int foo() = 42;
/// PASS
/// Toplevel
void foo(long e) requires e >= 0 {}
/// PASS
/// Toplevel
void foo(float e) requires e >= 0 {}
/// PASS
/// Toplevel
void foo(double e) requires e >= 0 {}
/// PASS
/// Toplevel
void foo(int e) requires e >= 0 {}
/// PASS
/// package rohan.C dontcompile
/// Toplevel
import rohan.A;
import rohan.B;
class CC {
void g() {
B d = new B(l: []); // no crash if this is... new B();
}
}
/// package rohan.A dontcompile
/// Toplevel
import rohan.B;
class B {
List<B> l = new ArrayList();
}
/// package rohan.B
/// Toplevel
import rohan.A;
import rohan.C;
void dummy() {}
|
