21 lines · cpp
1// RUN: %clang_cc1 -std=c++20 -verify %s2// expected-no-diagnostics3 4namespace pr58456 {5 template<typename>6 struct s {7 constexpr s(auto) {8 }9 };10 11 template<typename T>12 s(T) -> s<int>;13 14 template<typename T> requires true15 s(T) -> s<int>;16 17 void f() {18 auto const y = s(0);19 }20}21