Fix issue with distinct void as a member #1147

c3lang · Apr 9, 2024 · 3fcdd7f · 3fcdd7f
1 parent 2065570
commit 3fcdd7f
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/src/compiler/compiler_internal.h b/src/compiler/compiler_internal.h
@@ -2848,6 +2848,10 @@ static inline StorageType type_storage_type(Type *type)
 		case TYPE_TYPEDEF:
 			type = type->canonical;
 			goto RETRY;
+		case TYPE_DISTINCT:
+			is_distinct = true;
+			type = type->decl->distinct->type;
+			goto RETRY;
 		default:
 			return STORAGE_NORMAL;
 	}

diff --git a/test/test_suite/struct/struct_bad_member.c3 b/test/test_suite/struct/struct_bad_member.c3
@@ -6,7 +6,14 @@ def Void = void;
 struct Foo2 {
   Void bar; // #error: Members cannot be of
 }
+
+distinct Void2 = void;
+struct Foo3 {
+  Void2 bar; // #error: has unknown size
+}
+
 fn void main(String[] args) {
   Foo foo;
   Foo2 foo2;
+  Foo3 foo3;
 }