Reject inedexed zero sized type

[Y-Nak]

What is wrong?

Currently, it is allowed to mark a zero-sized type field as an indexed field, but this doesn't make sense because a zero-sized type will never be encoded.

e.g.

event MyEvent:
    idx x: ()

should be rejected.

[kris524]

Hello, can I take this task? Is there any additional information I might need?

[Y-Nak]

Hi @kris524! Sorry for the late response.
Thanks for your contribution, please feel free to take this issue.

To resolve this issue, you would need to add is_zero_sized or a similar method to

fe/crates/analyzer/src/namespace/types.rs

Line 38 in f810961

pub enum Type {

. Then, check the indexed field types and reject them if they are zero-sized.

Please feel free to ask me any questions.