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
|
/// PASS
/// package a
/// Toplevel
// Two methods that have the same bytecode type
int foo(int, int->int) = 1;
int foo(int, String->int) = 2;
// Calling from the same package
void test()
{
assert foo(0, int x => 0) == 1;
assert foo(0, String x => 0) == 2;
}
/// package b import a
test();
// Now calling from a different package
assert foo(0, int x => 0) == 1;
assert foo(0, String x => 0) == 2;
/// PASS
/// package a
/// Toplevel
// Two methods that have the same bytecode type
int foo(int, int->int) = 1;
int foo(int, String->int) = 2;
// Calling from the same package
void test()
{
assert foo(0, int x => 0) == 1;
assert foo(0, String x => 0) == 2;
}
/// package b import a
test();
// Now calling from a different package, in the opposite order
assert foo(0, String x => 0) == 2;
assert foo(0, int x => 0) == 1;
|
