// PR c++/27424 // Bug: failing to substitute the 'int' into C template<typename T> struct A { template<template<T> class> struct B {}; template<T> struct C; B<C> b; }; A<int> a;