Proposal to add builtin @illegal(x: bool) void

I propose to add a builtin function that looks something like this: @illegal(x: bool) void EDIT: actually i meant the following signature: @illegal(x: anytype) void It asserts that the given expression triggers safety checked illegal behavior. It’s a no-op in unchecked built modes. Furthermore, this builtin could have arguments to indicate which type of illegal behaviour should trigger, in which function … I’m not sure if an idea similiar to this one was already discussed, please give a li...