[thirdparty/gcc.git] / gcc / testsuite / g++.dg / concepts / memfun2.C

// PR c++/72415
// { dg-options "-std=c++17 -fconcepts" }

template<int... Indices>
struct indices {};

template<typename Dummy>
struct foo_type {
    template<int... Indices>
    static void impl(indices<Indices...>)
        requires (... && (Indices, true));

    static auto caller()
    { return impl(indices<0, 1, 2> {}); }
};

int main()
{
    // internal compiler error: in satisfy_predicate_constraint, at cp/constraint.cc:2013
    foo_type<void>::caller();
}
Commit	Line	Data
b9dc9ef6	1	// PR c++/72415
7b936140	2	// { dg-options "-std=c++17 -fconcepts" }
b9dc9ef6 JM	3
	4	template<int... Indices>
	5	struct indices {};
	6
	7	template<typename Dummy>
	8	struct foo_type {
	9	template<int... Indices>
	10	static void impl(indices<Indices...>)
	11	requires (... && (Indices, true));
	12
	13	static auto caller()
	14	{ return impl(indices<0, 1, 2> {}); }
	15	};
	16
	17	int main()
	18	{
	19	// internal compiler error: in satisfy_predicate_constraint, at cp/constraint.cc:2013
	20	foo_type<void>::caller();
	21	}