1 files changed, 14 insertions, 0 deletions
diff --git a/test/typecheck/pass/pow_32_64.sail b/test/typecheck/pass/pow_32_64.sail
new file mode 100644
index 00000000..bb4f207a
--- /dev/null
+++ b/test/typecheck/pass/pow_32_64.sail
@@ -0,0 +1,14 @@
+default Order dec
+
+$include <prelude.sail>
+
+$option -smt_linearize
+
+val bar : forall 'n, 'n <= 2 ^ 64 - 1. int('n) -> unit
+
+val foo : forall 'n, 'n in {32, 64}. bits('n) -> unit
+
+function foo(xs) = {
+  let x = unsigned(xs);
+  bar(x)
+}