// PR c++/67003
// { dg-do compile { target c++17 } }
// { dg-options "-fconcepts" }

namespace X {
  template<class>
  concept bool C = true;
}

X::C{T}
void foo() {}

int main() { foo<int>(); }