$typeof(uint).has_tagof to return false, not crash

[tonis2]

For example running a compile time code $typeof(#type).has_tagof,
where #type is going to be uint, the check will crash.

It's fine that only structs can have tags, but maybe its possible to make has_tagof check return false automatically, when type cant have tags

Nothing critical, only when it's easy to implement.

[lerno]

I cannot reproduce this. I tried various ways but I always get an error about it not being available (rather than a crash)

[tonis2]

@lerno
Yeah, I think I explained it poorly,
I'm working on sort of generic buffer, where user can just upload any type and its converted into bytes.

So for example types like this

typedef Collider @tag("BUFFER", 1) = State;

struct State @tag("BUFFER", 1) {
    bool is_dirty;
    uint index;
}

In my macro I can check.

$if $typeof(#type).has_tagof("BUFFER"):
 // Use the buffer index
$endif

But user could use typedef State @tag("BUFFER", 1) = uint;

Now this check $if $typeof(#type).has_tagof("BUFFER") would throw an error on compile time, that hey this type can't have a tag.

I could add another check in front of has_tagof for example $typeof(#type).typeid.kindof == STRUCT

But the kindof type for typedef State @tag("BUFFER", 1) = uint; is distinct so I have not found a way, to detect if I can't use has_tagof on the type.

Not sure what would be the best way to solve this.

[lerno]

Distinct should work correctly.

[lerno]

Two changes:

1. Distinct types now work properly with tagof as they should have from the beginning.
2. Built in types support has_tagof even though the result will always be "false"

[tonis2]

Yep works fine now, thanks