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