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

            Bug ID: 92082
           Summary: ICE with concepts
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: bruno.manga95 at gmail dot com
  Target Milestone: ---

The compiler ICEs with a segmentation fault with the following code:

#include <array>
#include <map>

template <template <class ...> class ttp, class c>
struct resolve {static constexpr bool value = false; };

template <template<class ...> class ttp, class ... ts>
struct resolve<ttp, ttp<ts...>>{static constexpr bool value = true; };

template < class c, template <class ...> class ttp>
concept instanceof = resolve<ttp, c>::value;

int main()
{
    instanceof<std::map> auto x = std::array<int, 3>{1, 2, 3};
}


godbolt: https://gcc.godbolt.org/z/99WWSW

Reply via email to