Actually make test case rely on the using

Author: hsutter

regression-tests/pure2-print.cpp2

@@ -71,16 +71,16 @@ outer: @print type = {
         using std::array;
         using std::cout;
 
-        type_alias: type == std::array<int,10>;
+        type_alias: type == array<int,10>;
 
         object_alias_1: i8 == 42;
         object_alias_2: == 42;
 
 
         var: ::outer::mytype = ();
-        std::cout << var.g(42) << "\n";
+        cout << var.g(42) << "\n";
 
-        std::cout << inspect var.g(42) -> namespace_alias::string {
+        cout << inspect var.g(42) -> namespace_alias::string {
             is 43 = "forty-and-three";
             is _  = "default case";
         } << "\n";

regression-tests/test-results/gcc-10/pure2-print.cpp.output

@@ -1,17 +1,17 @@
 In file included from pure2-print.cpp:7:
 ../../../include/cpp2util.h:10005:33: error: expected unqualified-id before ‘static_assert’
 pure2-print.cpp2:7:1: note: in expansion of macro ‘CPP2_REQUIRES_’
-pure2-print.cpp2:63:59: error: expected ‘;’ at end of member declaration
+pure2-print.cpp2:65:59: error: expected ‘;’ at end of member declaration
 In file included from pure2-print.cpp:7:
 ../../../include/cpp2util.h:10005:47: error: static assertion failed: GCC 11 or higher is required to support variables and type-scope functions that have a 'requires' clause. This includes a type-scope 'forward' parameter of non-wildcard type, such as 'func: (this, forward s: std::string)', which relies on being able to add a 'requires' clause - in that case, use 'forward s: _' instead if you need the result to compile with GCC 10.
-pure2-print.cpp2:64:1: note: in expansion of macro ‘CPP2_REQUIRES_’
+pure2-print.cpp2:66:1: note: in expansion of macro ‘CPP2_REQUIRES_’
 ../../../include/cpp2util.h:10005:33: error: expected initializer before ‘static_assert’
-pure2-print.cpp2:89:1: note: in expansion of macro ‘CPP2_REQUIRES_’
+pure2-print.cpp2:94:1: note: in expansion of macro ‘CPP2_REQUIRES_’
 pure2-print.cpp2:6:29: error: ‘constexpr const T outer::object_alias’ is not a static data member of ‘class outer’
 pure2-print.cpp2:6:36: error: template definition of non-template ‘constexpr const T outer::object_alias’
-pure2-print.cpp2:63:14: error: no declaration matches ‘void outer::mytype::variadic(const auto:89& ...) requires (is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(outer::mytype::variadic::x)>::type>::type, int> && ...)’
-pure2-print.cpp2:63:29: note: candidate is: ‘template<class ... auto:80> static void outer::mytype::variadic(const auto:80& ...)’
+pure2-print.cpp2:65:14: error: no declaration matches ‘void outer::mytype::variadic(const auto:89& ...) requires (is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(outer::mytype::variadic::x)>::type>::type, int> && ...)’
+pure2-print.cpp2:65:29: note: candidate is: ‘template<class ... auto:80> static void outer::mytype::variadic(const auto:80& ...)’
 pure2-print.cpp2:8:19: note: ‘class outer::mytype’ defined here
-pure2-print.cpp2:88:37: error: no declaration matches ‘void outer::print(std::ostream&, const Args& ...) requires  cpp2::cmp_greater_eq(sizeof (Args)..., 0)’
-pure2-print.cpp2:88:37: note: no functions named ‘void outer::print(std::ostream&, const Args& ...) requires  cpp2::cmp_greater_eq(sizeof (Args)..., 0)’
+pure2-print.cpp2:93:37: error: no declaration matches ‘void outer::print(std::ostream&, const Args& ...) requires  cpp2::cmp_greater_eq(sizeof (Args)..., 0)’
+pure2-print.cpp2:93:37: note: no functions named ‘void outer::print(std::ostream&, const Args& ...) requires  cpp2::cmp_greater_eq(sizeof (Args)..., 0)’
 pure2-print.cpp2:4:7: note: ‘class outer’ defined here

regression-tests/test-results/gcc-13/pure2-bugfix-for-non-local-function-expression.cpp.output

@@ -0,0 +1 @@
+pure2-bugfix-for-non-local-function-expression.cpp2:9:7: warning: ‘t’ has a base ‘t::<lambda()>’ which has no linkage [-Wsubobject-linkage]

regression-tests/test-results/pure2-print.cpp

@@ -173,16 +173,16 @@ requires ((std::is_convertible_v<CPP2_TYPEOF(x), int> && ...))
         using std::array;
         using std::cout;
 
-        using type_alias = std::array<int,10>;
+        using type_alias = array<int,10>;
 
         cpp2::i8 constexpr object_alias_1 = 42;
         auto constexpr object_alias_2 = 42;
 
 #line 80 "pure2-print.cpp2"
         ::outer::mytype var {}; 
-        std::cout << CPP2_UFCS(g, var, 42) << "\n";
+        cout << CPP2_UFCS(g, var, 42) << "\n";
 
-        std::cout << [&] () -> namespace_alias::string { auto&& _expr = CPP2_UFCS(g, std::move(var), 42);
+        cout << [&] () -> namespace_alias::string { auto&& _expr = CPP2_UFCS(g, std::move(var), 42);
             if (cpp2::is(_expr, 43)) { if constexpr( requires{"forty-and-three";} ) if constexpr( std::is_convertible_v<CPP2_TYPEOF(("forty-and-three")),namespace_alias::string> ) return "forty-and-three"; else return namespace_alias::string{}; else return namespace_alias::string{}; }
             else return "default case"; }
         () << "\n";

regression-tests/test-results/pure2-print.cpp2.output

@@ -121,12 +121,12 @@ outer: type =
         namespace_alias: namespace == ::std;
         using std::array;
         using std::cout;
-        type_alias: type == std::array<int, 10>;
+        type_alias: type == array<int, 10>;
         object_alias_1: i8 == 42;
         object_alias_2: == 42;
         var: ::outer::mytype = ();
-        std::cout << var.g(42) << "\n";
-        std::cout << inspect var.g(42) -> namespace_alias::string {
+        cout << var.g(42) << "\n";
+        cout << inspect var.g(42) -> namespace_alias::string {
             is 43 = "forty-and-three";
             is _ = "default case";
         } << "\n";