//  Clang note: When using Clang as the Cpp1 compiler, the following uses of an unnamed function
//  require Clang 13 or higher; Clang 12 complains "lambda expression in an unevaluated operand"
//  Standalone Cpp1 repro: https://godbolt.org/z/dznnYTvc6

v: <T> concept = :() -> bool = true;();

u: type == std::type_identity_t<decltype(:() = {})>;

t: @struct type = {
    this: std::type_identity_t<decltype(:() = {})>;
}

main: () = { }