From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 3E699385802A; Wed, 13 Oct 2021 14:01:38 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3E699385802A
From: "nickhuang99 at hotmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/102728] New: requires statement fails to recognize lambda
 in unevaluated context
Date: Wed, 13 Oct 2021 14:01:38 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 12.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: nickhuang99 at hotmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-102728-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 13 Oct 2021 14:01:38 -0000

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

            Bug ID: 102728
           Summary: requires statement fails to recognize lambda in
                    unevaluated context
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nickhuang99 at hotmail dot com
  Target Milestone: ---

Consider that this snippet of code gives error of no matching specialization
which is not rooted from lambda in function parameter, instead it is rooted
from "requires" statement violation of lambda in unevaluated-context. The
warning about no-return-statement in lambda within requirement exposes this=
 is
"requires" issue.

#include <concepts>
template<class T>
concept IsLambda=3Drequires(T t){
    {t}->std::convertible_to<decltype(+[]{})>;=20
};

template<IsLambda T> // OK if replace IsLambda with "class"
void foo(T t){ t();}

template<>
void foo<decltype(+[]{})>(decltype(+[]{}) t){
    t();
}

Also, a proof that this is not lambda-in-function-parameter issue is that y=
ou
can replace template parameter "IsLambda" in template function declaration =
with
"class" and GCC works fine.

Both clang and MSVC++ accepts above code. (https://www.godbolt.org/z/xhW7To=
fao)





<source>: In substitution of 'template<class T>  requires  IsLambda<T> void
foo(T) [with T =3D void (*)()]':
<source>:12:44:   required from here
<source>:5:40: warning: no return statement in function returning non-void
[-Wreturn-type]
    5 |     {t}->std::convertible_to<decltype(+[]{})>;
      |                                        ^~~~
<source>:12:6: error: template-id 'foo<void (*)()>' for 'void foo(void (*)(=
))'
does not match any template declaration
   12 | void foo<decltype(+[]{})>(decltype(+[]{}) t){
      |      ^~~~~~~~~~~~~~~~~~~~
<source>:9:6: note: candidate is: 'template<class T>  requires  IsLambda<T>
void foo(T)'
    9 | void foo(T t){ t();}
      |      ^~~=