Type check generic native types

1 files changed, 15 insertions, 0 deletions

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);
+    }
+}