{"owner":"nuudlman","repo":"llvm","channel":"main","channels":["main"],"can_delete":true,"inode":{"File":{"path":[{"basename":"clang","pos":"7OVOGA6QKF5OI.EJBFAJQ","meta":576},{"basename":"test","pos":"7OVOGA6QKF5OI.RXSO6JQ","meta":576},{"basename":"CXX","pos":"7OVOGA6QKF5OI.4XLYSLY","meta":576},{"basename":"temp","pos":"7OVOGA6QKF5OI.63LYSLY","meta":576},{"basename":"temp.constr","pos":"7OVOGA6QKF5OI.FOYY6LY","meta":576},{"basename":"temp.constr.order","pos":"7OVOGA6QKF5OI.ISYY6LY","meta":576},{"basename":"var-template-partial-specializations.cpp","pos":"7OVOGA6QKF5OI.MOYY6LY","meta":0}],"file":"// RUN: %clang_cc1 -std=c++2a -x c++ -verify %s\n\ntemplate requires (sizeof(T) >= 4)\n// expected-note@-1{{similar constraint expressions not considered equivalent}}\nbool a = false; // expected-note{{template is declared here}}\n\ntemplate requires (sizeof(T) >= 4 && sizeof(T) <= 10)\n// expected-note@-1{{similar constraint expression here}}\nbool a = true; // expected-error{{variable template partial specialization is not more specialized than the primary template}}\n\ntemplate\nconcept C1 = sizeof(T) >= 4;\n\ntemplate requires C1\nbool b = false;\n\ntemplate requires (C1 && sizeof(T) <= 10)\nbool b = true;\n\ntemplate\nconcept C2 = sizeof(T) > 1 && sizeof(T) <= 8;\n\ntemplate\nbool c = false;\n\ntemplate requires C1\nbool c = true;\n\ntemplate\nbool d = false;\n\ntemplate\nbool d = true; // expected-error{{variable template partial specialization does not specialize any template argument; to define the primary template, remove the template argument list}}\n\ntemplate requires C1\nbool e = false;\n\ntemplate\nbool e = true; // expected-error{{variable template partial specialization does not specialize any template argument; to define the primary template, remove the template argument list}}\n\ntemplate\nconstexpr int f = 1;\n\ntemplate requires C1 && C2\nconstexpr int f = 2;\n\ntemplate requires C1 || C2\nconstexpr int f = 3;\n\nstatic_assert(f == 2);\nstatic_assert(f == 3);\nstatic_assert(f == 1);\n\n\n\n"}},"token":"/GL/IeS0zq4RrobXbgMg57ZjdOD4vq7W8o61ZIrCBe8=","login":null}