[cfe-dev] Type::isIncompleteType()...

[Steve Naroff]

On Feb 10, 2008, at 8:26 PM, Eli Friedman wrote:

> On Feb 10, 2008 8:22 PM, Steve Naroff <snaroff at apple.com> wrote:
>> The spec seems to define completeness by the closing brace...
>>
>> If so, changing the predicate doesn't sound correct (though it  
>> makes sense
>> to me conceptually).
>
> The spec doesn't have anything to say about programs that don't meet
> the constraints...  so I don't think we need to worry about that.
>

That's why I think this is an interesting issue...

I'm proposing modifying a spec defined constraint (isIncompleteType)  
to include a new "constraint" regarding not meeting constraints:-)

It sounds like you think it's the right thing to do...true?

snaroff

> -Eli