From 0b33948945e61df70618f2bc05d29efabc8d7726 Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Tue, 9 May 2023 14:36:07 +0200 Subject: [PATCH] modified: resources/insertGenericsJav/TestContraVariant.jav --- resources/insertGenericsJav/TestContraVariant.jav | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/resources/insertGenericsJav/TestContraVariant.jav b/resources/insertGenericsJav/TestContraVariant.jav index dfea392d..2b0e245f 100644 --- a/resources/insertGenericsJav/TestContraVariant.jav +++ b/resources/insertGenericsJav/TestContraVariant.jav @@ -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); } } \ No newline at end of file