https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95200
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |INVALID
Status|UNCONFIRMED |RESOLVED
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to jevgenijsz1 from comment #0)
> however I couldn't find a reason for why this should not work as expected.
[res.on.functions] paragraph 2:
In particular, the effects are undefined in the following cases:
- [...]
- If an incomplete type ([basic.types]) is used as a template argument when
instantiating a template component or evaluating a concept, unless specifically
allowed for that component.
