I think it's cool that stuff like this works in C but my gut feeling is that this isn't going to play well with LSP tools. Are state-of-the-art C LSP servers aware of the preprocessor?
I don't see an advantage over C's usual error handling, because this type is lacking the support functions (like bind and fmap in functional languages) or syntax integration (like the try operator in rust) that would make it useful.