Type check generic native types

1 files changed, 11 insertions, 0 deletions

diff --git a/examples/12-shared/src/point.hob b/examples/12-shared/src/point.hob
new file mode 100644
index 0000000..7b9a8e6
--- /dev/null
+++ b/examples/12-shared/src/point.hob
@@ -0,0 +1,11 @@
+/// A straight line from one point to another.
+struct Line {
+    field start: Shared[Point];
+    field end: Shared[Point];
+}
+
+/// A 2D point.
+struct Point {
+    field x: Int32;
+    field y: Int32;
+}