fix(type): enhance type equality check by stripping typedefs

v1bh475u · v1bh475u · commit f8ee6651d942 · 2025-11-03T05:48:22.000+05:30
Signed-off-by: vibhatsu &lt;maulikbarot2915@gmail.com&gt;
diff --git a/src/symbol_table/type.cpp b/src/symbol_table/type.cpp
@@ -116,7 +116,9 @@ bool is_void_type(TypePtr type)
 
 bool are_types_equal(TypePtr a, TypePtr b)
 {
-    return a->mangled_name() == b->mangled_name();
+    auto a_canonical = strip_typedefs(a);
+    auto b_canonical = strip_typedefs(b);
+    return a_canonical->mangled_name() == b_canonical->mangled_name();
 }
 
 bool is_integral_or_enum_non_bool(TypePtr type)

Original file line number	Diff line number	Diff line change
`@@ -116,7 +116,9 @@ bool is_void_type(TypePtr type)`
`116`	`116`
`117`	`117`	`bool are_types_equal(TypePtr a, TypePtr b)`
`118`	`118`	`{`
`119`		`- return a->mangled_name() == b->mangled_name();`
	`119`	`+ auto a_canonical = strip_typedefs(a);`
	`120`	`+ auto b_canonical = strip_typedefs(b);`
	`121`	`+ return a_canonical->mangled_name() == b_canonical->mangled_name();`
`120`	`122`	`}`
`121`	`123`
`122`	`124`	`bool is_integral_or_enum_non_bool(TypePtr type)`