[Bug c++/94499] New: [concepts] bogus "local variable may not appear in this context" error

[ppalka at gcc dot gnu.org]

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

            Bug ID: 94499
           Summary: [concepts] bogus "local variable may not appear in
                    this context" error
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ppalka at gcc dot gnu.org
  Target Milestone: ---

$ cat testcase.C
template<typename T>
constexpr bool
bar(bool b = requires (T t) { *t; })
{
  return b;
}
$ g++ -std=c++2a testcase.C
testcase.C:3:32: error: local variable ‘t’ may not appear in this context
    3 | bar(bool b = requires (T t) { *t; })
      |                                ^