gcc/testsuite/g++.dg/cpp2a/fn-template19.C

// PR c++/88373
// { dg-do compile }
// { dg-options "-std=c++2a" }

template <class T>
constexpr T value = T {};

template <class T, T t>
struct S {};

using U = S <int, ~value <int>>;