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
Hello,
I'm seeking feedback on how best to handle deep or infinite recursion in
concept satisfaction. Please let me know if there's a better place to ask.
Recursion in satisfaction can occur a few ways, some of which has been fixed by
moving the point of declaration of a concept to prevent direct
