[Bug c++/52618] Explicit template specialization ignores access rights

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52618

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-03-19
     Ever Confirmed|0                           |1

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-03-19 
15:06:31 UTC ---
Confirmed, this is one of many access-checking bugs in templates, see PR 47346

Reduced:

class B {
  typedef double type; // this is a private member
};

template<class T> struct get_type;

template<> struct get_type<B> {
  typedef typename B::type type;
};

typedef typename get_type<B>::type sometype;