1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
// PR c++/119981 // { dg-do compile { target c++20 } } template<template<class> class P> struct mp_copy_if{}; template<auto Fn> struct g { template<class> struct fn{}; }; template<typename> void test3() { mp_copy_if<g<[]{}>::template fn> b; } template void test3<int>();