clang/test/SemaTemplate/deduction-guide-partial-ordering.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// 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);
  }
}