From: Peter Dimov (pdimov_at_[hidden])
Date: 2004-02-21 11:44:20
David Abrahams wrote:
>
> Simple: specializations that follow the point of instantiation aren't
> considered. This program exits with an error:
>
> template <class T>
> int f(T) { return 1; }
>
> int main() { return ::f(0); }
>
> template <> int f(int) { return 0; }
It's ill-formed, actually.