// { dg-do compile }
// Contributed by: Niall Douglas <s_gccbugzilla at netprod dot com>
// PR c++/14284: Failure to select specialization 

template<typename> struct S; 
template<template<class> class> struct I {}; 
 
template<class, int> struct Match; 
 
template<template<class> class C> 
struct Match<I<C>, 0> {}; 
 
template<template<class> class C, int i> 
struct Match<I<C>, i>; 
 
Match<I<S>, 0> v;