File tree Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -5,7 +5,7 @@ testing_enabled: bool = false;
5
5
6
6
outer: @print type = {
7
7
8
- object_alias: <T> T requires true == 42 ;
8
+ object_alias: <T> T requires true == sizeof(type T::value_type) ;
9
9
10
10
mytype: final type =
11
11
{
Original file line number Diff line number Diff line change @@ -89,7 +89,7 @@ bool testing_enabled {false};
89
89
90
90
#line 8 "pure2-print.cpp2"
91
91
template <typename T>
92
- requires (true ) inline CPP2_CONSTEXPR T outer::object_alias = 42 ;
92
+ requires (true ) inline CPP2_CONSTEXPR T outer::object_alias = sizeof( typename T::value_type) ;
93
93
#line 9 "pure2-print.cpp2"
94
94
95
95
#line 12 "pure2-print.cpp2"
Original file line number Diff line number Diff line change @@ -2,7 +2,7 @@ pure2-print.cpp2...
2
2
3
3
outer:/* @print */ type =
4
4
{
5
- object_alias: <T: type> T requires (true) == 42 ;
5
+ object_alias: <T: type> T requires (true) == sizeof(type T::value_type) ;
6
6
mytype: final type =
7
7
{
8
8
protected f:() -> move int = 42;
You can’t perform that action at this time.
0 commit comments