// PR c++/94645
// { dg-do compile { target concepts } }

struct unordered_map {
  int cend() const noexcept;
};

template <typename a> concept HasMapInterface = requires(a t) { t.cend(); };

template <typename Mapper> requires HasMapInterface<decltype(Mapper::map())>
struct l {
  friend void foo(l opt) { ([]() {})(); }
};

struct p {
  static unordered_map map();
};

void g(l<p> *y) { foo(*y); }