1 // { dg-do compile { target c++11 } }
2 // PR C++/95263
3 // ICE on alias template instantiation
4 
5 template <typename> class TPL {
6   template <int> using INT = int;
7 };
8 
9 template <typename T> class Klass
10 {
11 public:
12   template <int I> using ALIAS = typename TPL<T>::INT<I>;
13 
14   template <int> static void FUNC (); // OK
15 
16   template <int I, typename> static ALIAS<I> FUNC (); // SFINAE ICE
17 };
18 
Fn()19 void Fn ()
20 {
21   Klass<int>::FUNC<0> ();
22 }
23 
24