// { dg-do compile { target concepts } }

template <class T, class U> concept same_as = __is_same(T, U);

same_as<int> auto f(auto, auto y) {
  return y; // { dg-error "deduced return type" }
}

template <class>
struct A {
  static auto g(auto x, auto y) -> same_as<decltype(x)> auto {
    return y; // { dg-error "deduced return type" }
  }
};

int main() {
  f(0, 0);   // { dg-bogus "" }
  f("", 0);  // { dg-bogus "" }
  f(0, "");  // { dg-message "required from here" }
  f("", ""); // { dg-message "required from here" }

  A<void>::g(0, 0);   // { dg-bogus "" }
  A<void>::g("", 0);  // { dg-message "required from here" }
  A<void>::g(0, "");  // { dg-message "required from here" }
  A<void>::g("", ""); // { dg-bogus "" }
}