Template:cpp/language/dsc static assert