// { dg-do compile } // Origin: ariels@compugen.co.il // PR c++/2513: typename handling when scope is dependent as // described in DR108. template <bool flag> struct Select { typedef int Result; }; template <template<class> class Pred> struct FindType { typedef typename Select<true>::Result Result; }; template <int bits> struct Int { template<typename T> struct RightSize {}; typedef typename FindType<RightSize>::Result type; };