Testsuite: Add example for GitHub issue 309

that was fixed by a commit in PR 833

Author: quark17

testsuite/bsc.bugs/github/gh309/ICE.bs

@@ -0,0 +1,18 @@
+package ICE where
+
+import Vector
+
+type BitVector n = Vector n (UInt 1)
+
+struct Compress n = {
+  x :: BitVector n;
+} deriving (Bits)
+
+foo :: BitVector n -> Compress (TAdd n 1)
+foo = _
+
+bar :: Vector 8 (BitVector n) -> Compress (TAdd n 2)
+bar xs =
+  let a :: Compress (TAdd n 1)
+      a = _
+  in foo a.x

testsuite/bsc.bugs/github/gh309/Makefile

@@ -0,0 +1,5 @@
+# for "make clean" to work everywhere
+
+CONFDIR = $(realpath ../../..)
+
+include $(CONFDIR)/clean.mk

testsuite/bsc.bugs/github/gh309/gh309.exp

@@ -0,0 +1,6 @@
+# GitHub Issue #309
+
+# This triggered an internal error during ISyntaxCheck
+# because kind information was being lost
+#
+compile_pass ICE.bs