From: David Abrahams (david.abrahams_at_[hidden])
Date: 2002-02-21 08:13:26
----- Original Message -----
From: "Michiel Salters" <Michiel.Salters_at_[hidden]>
> > template< template<typename> class F > struct my {};
> > template<typename T, typename U = T> struct her {};
> >
> > int main()
> > {
> > sizeof(my<her>); // should not compile, but ok with
> > GCC/Borland
> > return 0;
> > }
>
> What's the point of this example ?
The point, if you read further on, is that the compiler complains of
ambiguities later because each of two templates match equally well.