3 Commits

Author	SHA1	Message	Date
Douglas Gregor	f8f868336e	Allow the use of default template arguments when forming a class ... template specialization (e.g., std::vector<int> would now be well-formed, since it relies on a default argument for the Allocator template parameter). This is much less interesting than one might expect, since (1) we're not actually using the default arguments for anything important, such as naming an actual Decl, and (2) we'll often need to instantiate the default arguments to check their well-formedness. The real fun will come later. llvm-svn: 64310	2009-02-11 18:16:40 +00:00
Douglas Gregor	0e55853639	Implement semantic checking for template arguments that correspond to ... pointer-to-member-data non-type template parameters. Also, get consistent about what it means to returned a bool from CheckTemplateArgument. llvm-svn: 64305	2009-02-11 16:16:59 +00:00
Douglas Gregor	d32e028f79	Rudimentary checking of template arguments against their corresponding ... template parameters when performing semantic analysis of a template-id naming a class template specialization. llvm-svn: 64185	2009-02-09 23:23:08 +00:00