1// { dg-do assemble  }
2// GROUPS passed templates
3template <class T>
4struct S
5{
6  template <class U>
7  typename U::R foo(U u);
8};
9
10
11void bar()
12{
13  S<int> si;
14}
15