4 files changed, 44 insertions, 0 deletions
diff --git a/tests/trait_expand.ek b/tests/trait_expand.ek
new file mode 100644
index 0000000..eca1e16
--- /dev/null
+++ b/tests/trait_expand.ek
@@ -0,0 +1,7 @@
+define b[] {
+	a![];
+}
+
+define a[] {
+	a(*a a);
+}
diff --git a/tests/trait_multiple_expand.ek b/tests/trait_multiple_expand.ek
new file mode 100644
index 0000000..285a6ea
--- /dev/null
+++ b/tests/trait_multiple_expand.ek
@@ -0,0 +1,18 @@
+define b[] {
+	c![];
+	a![];
+}
+
+define a[] {
+	c![];
+	a(*a a);
+}
+
+define c[] {
+	c(*c c);
+}
+
+typedef d {
+	b![];
+	c(*d d) {}
+}
diff --git a/tests/trait_recursive_expand.ek b/tests/trait_recursive_expand.ek
new file mode 100644
index 0000000..53012bf
--- /dev/null
+++ b/tests/trait_recursive_expand.ek
@@ -0,0 +1,8 @@
+define b[] {
+	a![];
+}
+
+define a[] {
+	b![];
+	a(*a a);
+}
diff --git a/tests/type_expand.ek b/tests/type_expand.ek
new file mode 100644
index 0000000..e58d0a0
--- /dev/null
+++ b/tests/type_expand.ek
@@ -0,0 +1,11 @@
+define trait[] {
+	trait_func(*trait a, *trait b);
+}
+
+typedef a[] {
+	trait![];
+}
+
+main() {
+	a![] some_var;
+}