modified: resources/insertGenericsJav/TestContraVariant.jav

This commit is contained in:
pl@gohorb.ba-horb.de 2023-05-09 14:36:07 +02:00
parent 5e1631439a
commit 0b33948945

View File

@ -1,15 +1,17 @@
public class TestContraVariant {
main(x, y) {
var y2 = m(x, y).snd();
var z = null;
y2 = z;
var y2 = m(x, y);
var y3 = y2.snd();
var z;
y3 = z;
return new Pair(x,z);
}
m(x, y) {
var x2 = main(x, y).fst();
var z = null;
x2 = z;
var x2 = main(x, y);
var x3 = x2.fst();
var z;
x3 = z;
return new Pair(z, y);
}
}