| // PR c++/96204 |
| // { dg-do compile { target c++14 } } |
| // A variant of access40.C where has_type_member is a variable template instead |
| // of a class template. |
| |
| template<class, class = void> |
| constexpr bool has_type_member = false; |
| |
| template<class T> |
| constexpr bool has_type_member<T, typename T::type> = true; |
| |
| struct Parent; |
| |
| struct Child { |
| private: |
| friend struct Parent; |
| typedef void type; |
| }; |
| |
| struct Parent { |
| // The partial specialization does not match despite Child::type |
| // being accessible from the current scope. |
| static_assert(!has_type_member<Child>, ""); |
| }; |
