On 09/04/2013 11:59 AM, Andrew Sutton wrote:
It's not supposed to be different. Checking constraints in instantiate_template is actually too late. We want to check before instantiation, at the point of use.
Right, what I was getting at is that instantiate_template actually only instantiates the declaration of a function, not the definition, so it corresponds to lookup_template_class for class templates.
instantiate_decl is what actually instantiates the body. Confusing internal function naming.
I think that the absence of constraints fits into those definition nicely, since it represents the empty set of propositions.
Oh, did the comment just mean that absence is equivalent to absence? I thought the comment was saying that absence is considered equivalent to anything else. Just tweak the comment, then.
Jason
