Allow unions to be comparable if all their variants are comparable

2026-07-28 18:30:06 +00:00 · 2021-05-03 13:17:16 +01:00
parent 77e2e1e1d0
commit 518ecaf9c9
3 changed files with 85 additions and 7 deletions
@@ -121,6 +121,9 @@ Type_Info_Union :: struct {
 	variants:     []^Type_Info,
 	tag_offset:   uintptr,
 	tag_type:     ^Type_Info,
+
+	equal: Equal_Proc, // set only when the struct has .Comparable set but does not have .Simple_Compare set
+
 	custom_align: bool,
 	no_nil:       bool,
 	maybe:        bool,