On 28.07.2025 21:17, Nicola Vetrini wrote: > On 2025-07-28 20:58, Dmytro Prokopchuk1 wrote: >> It works. >> The violation "non-compliant cast: implicit cast from `void(*)(void*)' >> to `void(*)(void*)'" is gone. >> > > Great. Now what would be really useful is a way to abstract this more > nicely (I was able to write this only by looking at the AST). However > noreturn is probably about the only attribute that has a repercussion on > the decl and is safe to cast away, unless I'm mistaken.
Not sure what you mean by "repercussion" here, and hence my remark may be entirely meaningless, but: const and pure are also examples of attributes which are safe to cast away, aiui. In fact, given the sheer number of attributes, I would be surprised if there weren't more. Jan
