From 8455bb19b7d4235e667cab9112aa276557969dcc Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Wed, 5 Aug 2026 18:44:26 +0100 Subject: Type check generic native types --- .../src/test/java/org/zwobble/example/PointTests.java | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 examples/12-shared/output/java/src/test/java/org/zwobble/example/PointTests.java (limited to 'examples/12-shared/output/java/src/test') diff --git a/examples/12-shared/output/java/src/test/java/org/zwobble/example/PointTests.java b/examples/12-shared/output/java/src/test/java/org/zwobble/example/PointTests.java new file mode 100644 index 0000000..b4c140d --- /dev/null +++ b/examples/12-shared/output/java/src/test/java/org/zwobble/example/PointTests.java @@ -0,0 +1,15 @@ +package org.zwobble.example; + +import static org.junit.jupiter.api.Assertions.assertEquals; +import org.junit.jupiter.api.Test; +import org.zwobble.example.types.point.Line; +import org.zwobble.example.types.point.Point; + +public class PointTests { + @Test + public void line() { + var point = new Point(10, 25); + var line = new Line(point, point); + assertEquals(line.start().x(), 10); + } +} -- cgit v1.2.3