RFR: 8251274: Provide utility types for function SFINAE using extra template parameters

[Lois Foltan]

On 9/1/2020 4:55 AM, Kim Barrett wrote:
>> On Aug 31, 2020, at 9:43 AM, Kim Barrett <kim.barrett at oracle.com> wrote:
>>
>>> On Aug 31, 2020, at 5:38 AM, Erik Österlund <erik.osterlund at oracle.com> wrote:
>>>
>>> Hi Kim,
>>>
>>> Looks good.
>> Thanks
>>
>>> Thanks,
>>> /Erik
>>>
>>> On 2020-08-31 11:18, Kim Barrett wrote:
>>>> […] OK.  Then here’s a new webrev.  (The gtest file has no changes now, but still shows up in the
>>>> webrev because of the change then revert in the patch series.)  Just a full, since there seems
>>>> little point in an incremental.
>>>>
>>>> https://cr.openjdk.java.net/~kbarrett/8251274/open.01/
> Given the changes we’ve discussed, the summary for the bug should probably be changed from
> “utility types” to “utility macro”.
>

Hi Kim,

This looks good.  After reading through the discussion with Erik, I am 
glad about the resulting ENABLE_IF macro.  I do have one 
question/comment which might just be for my clarification.  I am 
assuming I can also still use this new C++11  extra anonymous non-type 
template parameter with a default value as the return type?  In 
addition, if I am allowed to use this as the return type, I further 
assume that it is also allowed to use a single template parameter that 
is a conjunction of expressions for the return type too?

Thanks,
Lois