// Origin: Mark Mitchell <mark@codesourcery.com>

template <class T>
struct S {
  template <class U>
  S (U);
};

int main ()
{
  S<int> (3.0);
}