On Tue, Nov 5, 2019 at 2:42 PM Jeff Chapman wrote:
>
> On Thu, Oct 31, 2019 at 8:03 AM Nathan Sidwell wrote:
> > Why doesn't the std specify the satisfaction nesting limit in the same
> > way as template instantiation? (at least that's what I infer from your
> > question).
>
> I'm not sure why it'
On Thu, Oct 31, 2019 at 8:03 AM Nathan Sidwell wrote:
> Why doesn't the std specify the satisfaction nesting limit in the same
> way as template instantiation? (at least that's what I infer from your
> question).
I'm not sure why it's not explicitly listed along with the template
instantiation lim
On 10/29/19 4:46 PM, Jeff Chapman wrote:
Hello,
template
concept Foo = requires(T t) { foo(t); };
template
requires Foo
int foo(T t) { return foo(t); }
Similar cases without concepts are handled with
-ftemplate-depth/max_tinst_depth but satisfaction on trunk does not currently
pass throu
