[Bug c++/81971] New: internal compiler error: in check_noexcept_r, at cp/except.c:1028

[rwdougla at gmail dot com]

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

            Bug ID: 81971
           Summary: internal compiler error: in check_noexcept_r, at
                    cp/except.c:1028
           Product: gcc
           Version: 7.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rwdougla at gmail dot com
  Target Milestone: ---

int foo(int) { return 0; }

template<typename T>
struct Foo
{
    bool val = requires {
        {foo(T{})} -> int;
    };
};

int main()
{
    Foo<int> f;
    return 0;
}


using gcc 7.2 with --std=c++1z --concepts -Wall
https://godbolt.org/g/kC6QpW