gcc/testsuite/g++.dg/template/evaluated1b.C

// PR c++/101906
// Like unevaluated1.C, but using a function template instead of an
// alias template.
// { dg-do compile { target c++14 } }

template<int, class T> T skip();

template<class T>
constexpr unsigned sizeof_() {
  return sizeof(skip<(T(), 0), T>());
}

struct A {
  int m = -1;
};

static_assert(sizeof_<A>() == sizeof(A), "");