1 // { dg-do compile { target c++11 } }
2 
3 template< typename T_VECTOR >
4 void f(const T_VECTOR &a, decltype(a[0]) t = 0);
5 template< typename T >
6 void f(const T &a, decltype(a*1) t = 0);
7 
main()8 int main() {
9   int c;
10   f(c);
11 }
12