Может ли оценка концепции зависеть от того, где она оценивается?

[temp.concept]/5 говорит:

Концепция не создается ([temp.spec]). [Примечание: id-выражение, обозначающее специализацию концепта, оценивается как выражение ([expr.prim.id]). [...]]

Означает ли это, что это правило ниже ([temp.point]/8) не применяется?

Если две разные точки инстанцирования придают шаблону специализации разные значения в соответствии с правилом одного определения, программа некорректна, диагностика не требуется.

---

Например, если это правило не применяется, приведенный ниже код хорошо сформирован:

template<class T>
concept Complete = sizeof(T)==sizeof(T);

struct A;

constexpr inline bool b1 = Complete<A>; //Complete<A>==false;

struct A{};

constexpr inline bool b2 = Complete<A>; //Complete<A>==true;

_{Этот вопрос следует этой одной}