minimal reproduction:
type a = (int | bool | f32); export fn main() void = assert(!((0: (a | void)) is (bool | f32)));
reported here: https://lists.sr.ht/~sircmpwn/hare-dev/%3CD0CO9E0TKPB5.35UY5R87GYHE0@disroot.org%3E