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