// PR c++/96204

template<class, class = void>
struct has_type_member {
  static const bool value = false;
};

template<class T>
struct has_type_member<T, typename T::type> {
  static const bool value = true;
};

struct Parent;

struct Child {
private:
  friend struct has_type_member<Child>;
  typedef void type;
};

struct Parent {
  static void f() {
    // The partial specialization matches because has_type_member<Child>
    // is a friend of Child.
    extern int x[1];
    extern int x[has_type_member<Child>::value];
  }
};