[ConceptGCC]|
[ConceptGCC] |
ConceptGCC :Requiring a function template specialization |
From: Walter E Brown (wb_at_[hidden])
Date: 2007-06-06 16:36:39
I would like to express a concept, Foo<T>, that requires the existence
of a specialization, foo<T>, of a function template.
I tried the following with conceptgcc-boostcon under Cygwin, but got an
ICE (I submitted a bug report earlier today):
#include <concepts>
concept Foo< class T >
{
template<>
T
foo<T>();
};
Is the above the correct way to express the desired concept? Thanks,
-- WEB