Repository navigation
[BUG] Function expression in alias has access specifier #842
Description
Title: Function expression in alias has access specifier.
Minimal reproducer (https://cpp2.godbolt.org/z/d8jafjcrY):
v: @struct type = {
f: std::type_identity_t<decltype(+ :(_: int) 0)> == :(_: int) 0;
g: (i) i.f();
}
main: () = { }
Commands:
cppfront main.cpp2
clang++18 -std=c++23 -stdlib=libc++ -lc++abi -pedantic-errors -Wall -Wextra -Wconversion -Werror=unused-result -I . main.cppExpected result:
public: static const std::type_identity_t<decltype(+[]([[maybe_unused]] cpp2::in<int> unnamed_param_1) -> auto { return 0; })> f;Actual result and error:
public: static const std::type_identity_t<decltype(+public: []([[maybe_unused]] cpp2::in<int> unnamed_param_1) -> auto { return 0; })> f;
Cpp2 lowered to Cpp1:
//=== Cpp2 type declarations ====================================================
#include "cpp2util.h"
class v;
//=== Cpp2 type definitions and function declarations ===========================
class v {
public: static const std::type_identity_t<decltype(+public: []([[maybe_unused]] cpp2::in<int> unnamed_param_1) -> auto { return 0; })> f;
public: [[nodiscard]] static auto g(auto const& i) -> auto;
};
auto main() -> int;
//=== Cpp2 function definitions =================================================
inline CPP2_CONSTEXPR std::type_identity_t<decltype(+[]([[maybe_unused]] cpp2::in<int> unnamed_param_1) -> auto { return 0; })> v::f = []([[maybe_unused]] cpp2::in<int> unnamed_param_1) -> auto { return 0; };
[[nodiscard]] auto v::g(auto const& i) -> auto { return CPP2_UFCS_0(f, i); }
auto main() -> int{}Output:
main.cpp2:2:55: error: expected expression
2 | public: static const std::type_identity_t<decltype(+public: []([[maybe_unused]] cpp2::in<int> unnamed_param_1) -> auto { return 0; })> f;
| ^
1 error generated.
See also:
- Commit 884d180.
Activity