WIP: fix for javac8

jqwik-team · Jun 7, 2024 · abe7b1e · abe7b1e
1 parent f9e59eb
commit abe7b1e
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/engine/src/test/java/net/jqwik/engine/properties/shrinking/CombinedShrinkableTests.java b/engine/src/test/java/net/jqwik/engine/properties/shrinking/CombinedShrinkableTests.java
@@ -23,7 +23,7 @@ void creation() {
 		Shrinkable three = new OneStepShrinkable(3);
 		Shrinkable hello = Shrinkable.unshrinkable("hello");
 		Function<List<?>, String> combinator = shrinkables -> {
-			int anInt = (int) shrinkables.get(0);
+			int anInt = (Integer) shrinkables.get(0);
 			String aString = (String) shrinkables.get(1);
 			return aString + anInt;
 		};
@@ -57,8 +57,8 @@ void shrinkingToBottom() {
 			Shrinkable three = new OneStepShrinkable(3);
 			Shrinkable five = new OneStepShrinkable(5);
 			Function<List<?>, Tuple2<Integer, Integer>> combinator = shrinkables -> {
-				int first = (int) shrinkables.get(0);
-				int second = (int) shrinkables.get(1);
+				int first = (Integer) shrinkables.get(0);
+				int second = (Integer) shrinkables.get(1);
 				return Tuple.of(first, second);
 			};
 
@@ -75,8 +75,8 @@ void shrinkToCondition() {
 			Shrinkable three = new OneStepShrinkable(3);
 			Shrinkable five = new OneStepShrinkable(5);
 			Function<List<?>, Tuple2<Integer, Integer>> combinator = shrinkables -> {
-				int first = (int) shrinkables.get(0);
-				int second = (int) shrinkables.get(1);
+				int first = (Integer) shrinkables.get(0);
+				int second = (Integer) shrinkables.get(1);
 				return Tuple.of(first, second);
 			};
 
@@ -93,8 +93,8 @@ void shrinkingWithFilter() {
 			Shrinkable three = new OneStepShrinkable(3);
 			Shrinkable five = new OneStepShrinkable(5);
 			Function<List<?>, Tuple2<Integer, Integer>> combinator = shrinkables -> {
-				int first = (int) shrinkables.get(0);
-				int second = (int) shrinkables.get(1);
+				int first = (Integer) shrinkables.get(0);
+				int second = (Integer) shrinkables.get(1);
 				return Tuple.of(first, second);
 			};