| // PR c++/101906 | |
| // Like unevaluated1b.C, but using a variable template instead of a | |
| // function 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), ""); |