static-assert