On Mon, May 22, 2017 at 4:14 PM, Tim Song <t.canens....@gmail.com> wrote: > assuming core issue 1227's resolution
Actually, 1227 doesn't touch default template arguments :( OTOH, the paragraph dealing with default template arguments seems to be full of issues - it says "invalid type" rather than "invalid type or expression", and "above" when the description is actually "below". Anyway, that should be easily fixable by moving the SFINAE into the type of a non-type parameter, I think.