1 // RUN: %clang_cc1 -std=c++17 -verify %s
2 // expected-no-diagnostics
3 template<bool> struct DominatorTreeBase {
4   static constexpr bool IsPostDominator = true;
5 };
6 extern template class DominatorTreeBase<false>;
7 constexpr bool k = DominatorTreeBase<false>::IsPostDominator;
8