view gcc/testsuite/g++.dg/template/ttp8.C @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
line wrap: on
line source

// { 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;