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()19void Fn () 20 { 21 Klass<int>::FUNC<0> (); 22 } 23 24