Re: [C++ Patch/RFC] PR 83796 ("[6/7/8 Regression] Abstract classes allowed to be instantiated when initialised as default parameter to function or constructor")

[Paolo Carlini <paolo dot carlini at oracle dot com>]

Hi,

On 01/02/2018 15:54, Jason Merrill wrote:
> > I'm gently "pinging" this message of mine... Definitely not an high priority
> > regression (in any case it's only a P3) but I'm still wondering if we want
> > to do something about the issue at this time. Lately I noticed that in terms
> > of testsuite even something as basic as the below passes testing, not sure
> > if we could consider it safe from a theoretical point of view, however.
> This version is OK; unevaluated context shouldn't affect this, so that
> SFINAE tricks can check for it.
You are of course totally right. For the specific testcase we got, not 
using templates, checking for unevaluated context was useful to cut some 
rather redundant diagnostic, that's what fooled me, at first. Anyway, I 
have now checked in the last version.

Thanks again,
Paolo.