Check type hash as an early out in egal types

Drvi · Drvi · commit 4a6023c63eca · 2025-11-25T14:47:29.000+01:00
diff --git a/src/builtins.c b/src/builtins.c
@@ -147,6 +147,8 @@ static int egal_types(const jl_value_t *a, const jl_value_t *b, jl_typeenv_t *en
 {
     if (a == b)
         return 1;
+    if (a->hash && b->hash && a->hash != b->hash)
+        return 0;
     uintptr_t dtag = jl_typetagof(a);
     if (dtag != jl_typetagof(b))
         return 0;

Original file line number	Diff line number	Diff line change
`@@ -147,6 +147,8 @@ static int egal_types(const jl_value_t a, const jl_value_t b, jl_typeenv_t *en`
`147`	`147`	`{`
`148`	`148`	`if (a == b)`
`149`	`149`	`return 1;`
	`150`	`+ if (a->hash && b->hash && a->hash != b->hash)`
	`151`	`+ return 0;`
`150`	`152`	`uintptr_t dtag = jl_typetagof(a);`
`151`	`153`	`if (dtag != jl_typetagof(b))`
`152`	`154`	`return 0;`