1//PR c++/27821
2
3struct A
4{
5    template<void (A::*)()> struct B {};
6    void ::foo(); // { dg-error "invalid use" }
7    B<&A::foo> b; // { dg-error "incomplete type|template argument" }
8};
9
10