1 2 3 4 5 6 7 8 9 10 11 12 13 14
// { dg-do compile { target c++17 } } template <int I> struct A { }; template <int I> struct B { template<template<int>class T> B(T<I>); }; A<42> a; B b (a);