diff --git a/intTests/test1985/test.saw b/intTests/test1985/test.saw
new file mode 100644
index 0000000000..2a7c862134
--- /dev/null
+++ b/intTests/test1985/test.saw
@@ -0,0 +1,12 @@
+// Test top level typedefs
+typedef Foo = Int;
+typedef Bar = Foo;
+let thing : Bar = 2;
+
+// Test local typedefs
+let local = do {
+  typedef LocalFoo = Bar;
+  typedef LocalBar = LocalFoo;
+  let local_thing : LocalBar = 3;
+  return ();
+};
diff --git a/intTests/test1985/test.sh b/intTests/test1985/test.sh
new file mode 100644
index 0000000000..2315cc233c
--- /dev/null
+++ b/intTests/test1985/test.sh
@@ -0,0 +1,3 @@
+set -e
+
+$SAW test.saw