Does constraint subsumption only apply to concepts?
Yes. Only concepts can be subsumed. The call to foo<int> is ambiguous because neither of the declarations is “at least as constrained as” the other. If, however, C1 and C2 were both concepts instead of inline constexpr bools, then the declaration of the foo() that returns 0 would be at least as constrained as the … Read more