14 years, 9 months ago
(2010-04-04 09:26:21 UTC)
#1
http://codereview.appspot.com/869042/diff/2001/3002
File test/CXX/basic/basic.lookup/basic.lookup.unqual/p7.cpp (right):
http://codereview.appspot.com/869042/diff/2001/3002#newcode36
test/CXX/basic/basic.lookup/basic.lookup.unqual/p7.cpp:36: template <class T>
struct foo : bar<foo> {}; // expected-error {{class template-name foo requires
template arguments to produce a type}} expected-note {{template is declared
here}}
It would be nice to special case this to a single precise message and provide a
fixit suggesting <T> as the argument. That said, I don't know how much code that
would be to implement, so it might not be worth while.
14 years, 9 months ago
(2010-04-04 19:00:57 UTC)
#2
http://codereview.appspot.com/869042/diff/2001/3002
File test/CXX/basic/basic.lookup/basic.lookup.unqual/p7.cpp (right):
http://codereview.appspot.com/869042/diff/2001/3002#newcode36
test/CXX/basic/basic.lookup/basic.lookup.unqual/p7.cpp:36: template <class T>
struct foo : bar<foo> {}; // expected-error {{class template-name foo requires
template arguments to produce a type}} expected-note {{template is declared
here}}
On 2010/04/04 09:26:21, chandlerc wrote:
> It would be nice to special case this to a single precise message and provide
a
> fixit suggesting <T> as the argument. That said, I don't know how much code
that
> would be to implement, so it might not be worth while.
It would definitely be nice. Not in this patch though.
Issue 869042: Explain that a template needs arguments to make it into a type
(Closed)
Created 14 years, 9 months ago by Jeffrey Yasskin
Modified 14 years, 9 months ago
Reviewers: chandlerc
Base URL: https://llvm.org/svn/llvm-project/cfe/trunk/
Comments: 2