// RUN: %clang_cc1 -std=c++20 -verify %s | |
// expected-no-diagnostics | |
namespace pr58456 { | |
template<typename> | |
struct s { | |
constexpr s(auto) { | |
} | |
}; | |
template<typename T> | |
s(T) -> s<int>; | |
template<typename T> requires true | |
s(T) -> s<int>; | |
void f() { | |
auto const y = s(0); | |
} | |
} |