SIGN IN SIGN UP

[CustomDescriptors] Ensure a non-nullable type for br_on_cast_desc_eq on null (#8975)

If the desc is null, the cast is not even executed, making it
unreachable. We typed it as nullable if the ref was (in the code path `type =
ref->type;`), but emiting an uninhabitable type is more precise, and also avoids a
fuzz bug (see new test) where refinalize actually un-refined a type: it
turned it from non-nullable to nullable.
A
Alon Zakai committed
efe5df1714bd4c01f6de19d12c908759e720dc55
Parent: ab7d0f5
Committed by GitHub <noreply@github.com> on 8/10/2026, 5:22:30 PM