gcc/testsuite/g++.old-deja/g++.pt/ttp59.C

// Build don't link:
// 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>();
}