1 // RUN: %clang_cc1 -std=c++17 -verify %s
2 
3 // expected-no-diagnostics
4 namespace pr41427 {
5   template <typename T> class A {
6   public:
A(void (*)(T))7     A(void (*)(T)) {}
8   };
9 
D(int)10   void D(int) {}
11 
f()12   void f() {
13     A a(&D);
14     using T = decltype(a);
15     using T = A<int>;
16   }
17 }
18