This can be a static assert