1 files changed, 22 insertions, 0 deletions
diff --git a/docs/history/17-o3-boundaries/code/tests/o3fat.zc b/docs/history/17-o3-boundaries/code/tests/o3fat.zc
new file mode 100644
index 0000000..313c87c
--- /dev/null
+++ b/docs/history/17-o3-boundaries/code/tests/o3fat.zc
@@ -0,0 +1,22 @@
+// o3 objects reaching normal code get their types: through a return (all the way down the list), an assignment, a store into a field
+struct node { int v; *node next; };
+struct box { [3]*node slots; int n; };
+unchecked o3 *node build(int n)
+{
+	*node head = 0;
+	for (int i = 0; i < n; i++) { *node k = new(node); k.v = i; k.next = head; head = k; }
+	return head;
+}
+unchecked fn main()
+{
+	*node l = build(5);
+	tprint(typeof_obj(l)); putc(' '); tprint(typeof_obj(l.next.next.next)); putc(' ');
+	putn(l.next.v); putc(' ');
+	*box b = 0;
+	o3 { b = new(box); b.slots[1] = new(node); b.n = 2; }
+	tprint(typeof_obj(b)); putc(' '); tprint(typeof_obj(b.slots[1])); putc(' ');
+	*int raw = 0;
+	o3 { raw = new(int, 6); }
+	tprint(typeof_obj(raw)); putc(10);
+	return 0;
+}