// PR c++/103706
// { dg-do compile { target c++20 } }

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

template<class T> void f() {
  []() -> C<T> auto {
    C<T> auto x = T(); // { dg-error "constraints" }
    return T(); // { dg-error "constraints" }
  }();
}

template void f<int>(); // { dg-bogus "" }
template void f<char>(); // { dg-message "required from here" }