[Bug c++/101287] New: Implicite template specialization redefines member function but compiles

[Bug c++/101287] New: Implicite template specialization redefines member function but compiles

[eligorkadaf at gmail dot com]

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

            Bug ID: 101287
           Summary: Implicite template specialization redefines member
                    function but compiles
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: eligorkadaf at gmail dot com
  Target Milestone: ---

It is exactly an example from the standard, so I don't thin any additional
explanations required.

https://godbolt.org/z/Ebcc7vsjq

https://eel.is/c++draft/temp.spec#temp.inst-example-3

[Bug c++/101287] Implicite template specialization redefines member function but compiles

[redi at gcc dot gnu.org]

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

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
The actual code is required though, as https://gcc.gnu.org/bugs says:

template<class T>
struct C {
  void f() { T x; }
  void g() = delete;
};
C<void> c;                      // OK, definition of C<void>​::​f is not
instantiated at this point
template<> void C<int>::g() { } // error: redefinition of C<int>​::​g

int main(){}

[Bug c++/101287] Implicit template specialization redefines member function but compiles

[eligorkadaf at gmail dot com]

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

--- Comment #2 from Eligor Kadaf <eligorkadaf at gmail dot com> ---
Agree, and the link was incorrect, so there is a correct one: 
https://godbolt.org/z/zEz8c7abM

[Bug c++/101287] Implicit template specialization redefines member function but compiles

[eligorkadaf at gmail dot com]

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

--- Comment #3 from Eligor Kadaf <eligorkadaf at gmail dot com> ---
I had found this example during the investigation of one another exmaple from
real life, which was the bug in clang, and as fas as it is marked as error in
standard I had decided it must be compile time error. However, during further
investigation of current example I have found it is an ill-formed; no
diagnostics required, so I will close this report.

[Bug c++/101287] Implicit template specialization redefines member function but compiles

[eligorkadaf at gmail dot com]

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

Eligor Kadaf <eligorkadaf at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |INVALID
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #4 from Eligor Kadaf <eligorkadaf at gmail dot com> ---
I dind't know I have to add a comment to close bug