1 2 3 4 5 6 7 8 9 10 11 12 13
// { dg-do assemble } // Origin: Marcin Kowalczyk <qrczak@knm.org.pl> template<template<typename> class t1, typename t0> void single() { single<t1,t0>(); } template<typename a> class T1 {}; int main() { single<T1,int>(); }