gcc/testsuite/g++.dg/cpp1z/pr92536.C


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

// { dg-do compile { target c++17 } }

namespace std
{
  struct stop_token { };

  template<typename Callback>
    struct stop_callback
    {
      template<typename C>
      stop_callback(stop_token, C&&) { }
    };

template<typename _Callback>
    stop_callback(stop_token, _Callback) -> stop_callback<_Callback>;
}

int main()
{
  std::stop_token tok;
  std::function<void()> f([](){});  // { dg-error "not a member|not declared" }
  std::stop_callback cb(tok, f);
}