libstdc++/4312: g++ accepts vector<auto_ptr<Class> >

[pme@gcc.gnu.org]

Synopsis: g++ accepts vector<auto_ptr<Class> >

Responsible-Changed-From-To: unassigned->pme
Responsible-Changed-By: pme
Responsible-Changed-When: Fri Dec 28 14:52:33 2001
Responsible-Changed-Why:
    I changed it.
State-Changed-From-To: open->closed
State-Changed-By: pme
State-Changed-When: Fri Dec 28 14:52:33 2001
State-Changed-Why:
    Thank you for your bug report.
    
    There's no way for the compiler to detect this problem,
    at present.  Doing so would require the compiler itself
    to test for "assignability".  If the user configures with
    --enable-concept-checks, then the library will perform
    such tests, and the example code you gave fails to compile
    (in the _SGIAssignableConcept).
    
    Moving those kinds of tests into the compiler proper would
    be a wonderful aid to diagnostics, but I don't believe
    anybody is working on such a project at present.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=4312