Repository navigation
[BUG] Missing _template-head_ in static data member definition #698
Description
Title: Missing template-head in static data member definition.
Minimal reproducer (https://cpp2.godbolt.org/z/M6fr97sTY):
t: @struct <T: type> type = {
v: int == 0;
}
main: () = { }
Commands:
cppfront main.cpp2
clang++17 -std=c++23 -stdlib=libc++ -lc++abi -pedantic-errors -Wall -Wextra -Wconversion -Werror=unused-result -I . main.cppExpected result:
template<typename T>
inline constexpr int t::v = 0;Actual result and error:
inline constexpr int t::v = 0;Cpp2 lowered to Cpp1:
//=== Cpp2 type declarations ====================================================
#include "cpp2util.h"
template<typename T> class t;
//=== Cpp2 type definitions and function declarations ===========================
template<typename T> class t {
public: static const int v;
};
auto main() -> int;
//=== Cpp2 function definitions =================================================
inline constexpr int t::v = 0;
auto main() -> int{}main.cpp2:2:24: error: use of class template 't' requires template arguments
2 | inline constexpr int t::v = 0;
| ^
build/main.cpp:13:28: note: template is declared here
13 | template<typename T> class t {
| ~~~~~~~~~~~~~~~~~~~~ ^
1 error generated.
Activity
JohelEGP commentedon Oct 3, 2023
On
main, these are the new results (https://cpp2.godbolt.org/z/s31xsTj18).Actual result and error: