在概念定义中,是否允许在需求表达式之外的替换失败？

考虑以下代码:

#include                                            
#include 

template  concept bool C1 = std::is_same::value; 

template  concept bool C2 =  
    C1() + std::declval())>; 

struct A {};                   

int main() { 
  std::cout << C2; 
  std::cout << C2;                                                 
  return 0;                                                           
}

由于C1() + std::declval())>替换失败,而不是类型bool,这是否意味着该程序应该是格式错误的？