[Bug c++/94926] [9/10/11 regression] invalid use of incomplete type not recogniced for static self reference of templated struct since r9-297-g683be2f77b3ce4db

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94926

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:7b599b9f9a1e036ff75a4daa06ac7036c6ebbe01

commit r11-703-g7b599b9f9a1e036ff75a4daa06ac7036c6ebbe01
Author: Jason Merrill <ja...@redhat.com>
Date:   Thu May 28 00:35:56 2020 -0400

    c++: Immediately deduce auto member [PR94926].

    In r9-297 I was trying to be more flexible and treat static data members of
    class templates more like variable templates, where the type need not be
    determined until the variable is instantiated, but I suppose that in a
class
    the types of all the non-template members need to be determined at the time
    of class instantiation.

    gcc/cp/ChangeLog:

            PR c++/94926
            * decl.c (cp_finish_decl): Revert r9-297 change.
            (check_static_variable_definition): Likewise.
            * constexpr.c (ensure_literal_type_for_constexpr_object): Likewise.
            * pt.c (instantiate_decl): Return early on type error.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp1z/pr86648.C: Expect error.
            * g++.dg/cpp1z/static2.C: Expect error.
            * g++.dg/cpp0x/nsdmi16.C: New test.