[Bug c++/56380] New: Const/reference mutable members are not always rejected in class templates

[pl.smith.mail at gmail dot com]

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



             Bug #: 56380

           Summary: Const/reference mutable members are not always

                    rejected in class templates

    Classification: Unclassified

           Product: gcc

           Version: unknown

            Status: UNCONFIRMED

          Severity: normal

          Priority: P3

         Component: c++

        AssignedTo: unassig...@gcc.gnu.org

        ReportedBy: pl.smith.m...@gmail.com





GCC (all versions?) accepts mutable members of const-qualified/reference type

in class templates, if the const-ness/reference-ness is introduced during

instantiation:



template <typename T>

struct X {

  X();

  mutable T x;

};



X<const int> a; // no error

X<int&> b;      // no error