gcc/testsuite/g++.dg/cpp1z/nodiscard7.C

// PR c++/89070 - bogus [[nodiscard]] warning in SFINAE.
// { dg-do compile { target c++11 } }

struct A
{
    [[nodiscard]] static int match() { return 42; }
};

template<typename T>
auto g() -> decltype( T::match(), bool() )
{
    return T::match();
}

int main()
{
    g<A>();
}