1 2 3 4 5 6
// PR c++/30897 template<template <typename T, typename = T > class U> struct A { template<int> U<int> foo(); };