Fixed a bug where type_synonyms were not being expanded properly when considering possible casts

1 files changed, 8 insertions, 0 deletions

diff --git a/test/typecheck/pass/vector_synonym_cast.sail b/test/typecheck/pass/vector_synonym_cast.sail
new file mode 100644
index 00000000..72a7e9d0
--- /dev/null
+++ b/test/typecheck/pass/vector_synonym_cast.sail
@@ -0,0 +1,8 @@
+
+typedef vecsyn = vector<0,1,dec,bit>
+
+val cast vector<1,1,dec,bit> -> vector<0,1,dec,bit> effect pure test_cast
+
+val vector<1,1,dec,bit> -> vecsyn effect pure test
+
+function test x = x