// Origin: Mark Mitchell <mark@codesourcery.com>
template <class T>
struct S {
template <class U>
S (U);
};
int main ()
{
S<int> (3.0);
}