1 // RUN: %clang_cc1 -std=c++20 -verify %s 2 // expected-no-diagnostics 3 4 namespace pr58456 { 5 template<typename> 6 struct s { spr58456::s7 constexpr s(auto) { 8 } 9 }; 10 11 template<typename T> 12 s(T) -> s<int>; 13 14 template<typename T> requires true 15 s(T) -> s<int>; 16 f()17 void f() { 18 auto const y = s(0); 19 } 20 } 21