summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--test/emptytrait.myr14
-rw-r--r--test/tests1
2 files changed, 15 insertions, 0 deletions
diff --git a/test/emptytrait.myr b/test/emptytrait.myr
new file mode 100644
index 0000000..4bd9555
--- /dev/null
+++ b/test/emptytrait.myr
@@ -0,0 +1,14 @@
+use std
+
+trait fooable @a =
+;;
+impl fooable int
+
+generic foo = {x : @a::fooable
+ -> x
+}
+
+const main = {
+ std.exit(foo(123))
+}
+
diff --git a/test/tests b/test/tests
index 2177cb9..2c8cda7 100644
--- a/test/tests
+++ b/test/tests
@@ -72,6 +72,7 @@ B str E 102
B generic E 42
B genericval E 42
B trait-builtin E 42
+# E emptytrait E 123 ## BUGGERED
B nestucon P asdf
B mkunion E 0
B genericcall E 42