test: regenerate the new tests

Author: JohelEGP

regression-tests/test-results/pure2-bugfix-for-deducible-parameters.cpp

@@ -6,42 +6,44 @@
 
 #include "cpp2util.h"
 
+#line 1 "pure2-bugfix-for-deducible-parameters.cpp2"
 
 #line 31 "pure2-bugfix-for-deducible-parameters.cpp2"
 template<typename T> class v;
 
 
 //=== Cpp2 type definitions and function declarations ===========================
 
+#line 1 "pure2-bugfix-for-deducible-parameters.cpp2"
 // Dependent, non-deducible parameters
 // are wrapped like non-dependent parameters.
 #line 3 "pure2-bugfix-for-deducible-parameters.cpp2"
 template<typename T> auto init(cpp2::out<std::integral_constant<cpp2::i32,T::value>> x) -> void;
-template<typename T> auto init(cpp2::out<std::integral_constant<cpp2::i32,T::value>> x, [[maybe_unused]] T const& param2) -> void;
+template<typename T> auto init(cpp2::out<std::integral_constant<cpp2::i32,T::value>> x, [[maybe_unused]] T const& unnamed_param_2) -> void;
 template<typename T> [[nodiscard]] auto id(cpp2::in<std::integral_constant<cpp2::i32,T::value>> x) -> auto&&;
 template<typename T> auto id(cpp2::in<std::integral_constant<cpp2::i32,T::value>> x, T const& y) -> void;
 
 auto main() -> int;
-  
 
 #line 31 "pure2-bugfix-for-deducible-parameters.cpp2"
 template<typename T> class v {
   public: explicit v(T const& x);
 #line 32 "pure2-bugfix-for-deducible-parameters.cpp2"
   public: auto operator=(T const& x) -> v& ;
-
   public: v(v const&) = delete; /* No 'that' constructor, suppress copy */
   public: auto operator=(v const&) -> void = delete;
+
 #line 33 "pure2-bugfix-for-deducible-parameters.cpp2"
 };
 
 
 //=== Cpp2 function definitions =================================================
 
+#line 1 "pure2-bugfix-for-deducible-parameters.cpp2"
 
 #line 3 "pure2-bugfix-for-deducible-parameters.cpp2"
 template<typename T> auto init(cpp2::out<std::integral_constant<cpp2::i32,T::value>> x) -> void{x.construct(); }
-template<typename T> auto init(cpp2::out<std::integral_constant<cpp2::i32,T::value>> x, [[maybe_unused]] T const& param2) -> void{x.construct(); }
+template<typename T> auto init(cpp2::out<std::integral_constant<cpp2::i32,T::value>> x, [[maybe_unused]] T const& unnamed_param_2) -> void{x.construct(); }
 template<typename T> [[nodiscard]] auto id(cpp2::in<std::integral_constant<cpp2::i32,T::value>> x) -> auto&& { return x;  }
 template<typename T> auto id(cpp2::in<std::integral_constant<cpp2::i32,T::value>> x, T const& y) -> void{cpp2::Default.expects(&x == &y, ""); }
 
@@ -81,7 +83,5 @@ auto f = []<typename T>(std::vector<std::vector<T>> const& x) -> void{};
   template <typename T> v<T>::v(T const& x){}
 #line 32 "pure2-bugfix-for-deducible-parameters.cpp2"
   template <typename T> auto v<T>::operator=(T const& x) -> v& {
-                                  return *this;
-#line 32 "pure2-bugfix-for-deducible-parameters.cpp2"
-  }
+                                  return *this; }
 

regression-tests/test-results/pure2-bugfix-for-dependent-types-recursion.cpp

@@ -6,16 +6,19 @@
 
 #include "cpp2util.h"
 
+#line 1 "pure2-bugfix-for-dependent-types-recursion.cpp2"
 
 
 //=== Cpp2 type definitions and function declarations ===========================
 
+#line 1 "pure2-bugfix-for-dependent-types-recursion.cpp2"
 auto main() -> int;
-  
 
 //=== Cpp2 function definitions =================================================
 
+#line 1 "pure2-bugfix-for-dependent-types-recursion.cpp2"
 auto main() -> int{
+#line 2 "pure2-bugfix-for-dependent-types-recursion.cpp2"
   using a = b;
   using b = a;
   static_cast<void>(a::t);

regression-tests/test-results/pure2-bugfix-for-dependent-types.cpp

@@ -6,21 +6,23 @@
 
 #include "cpp2util.h"
 
+#line 1 "pure2-bugfix-for-dependent-types.cpp2"
 
 #line 47 "pure2-bugfix-for-dependent-types.cpp2"
 template<typename T> class t;
 
 
 //=== Cpp2 type definitions and function declarations ===========================
 
+#line 1 "pure2-bugfix-for-dependent-types.cpp2"
 template<typename T> using identity = T;
+#line 2 "pure2-bugfix-for-dependent-types.cpp2"
 
 template<typename T, T::value_type V> [[nodiscard]] auto f(cpp2::in<typename T::value_type> x) -> T::value_type;
-  
 
 #line 47 "pure2-bugfix-for-dependent-types.cpp2"
 template<typename T> class t {
-struct u_x_as_base { T::value_type x; };
+struct u_x_as_base { typename T::value_type x; };
 
 #line 48 "pure2-bugfix-for-dependent-types.cpp2"
   public: class u: public u_x_as_base, public T::type {
@@ -31,10 +33,10 @@ struct u_x_as_base { T::value_type x; };
 };
 
 auto main() -> int;
-  
 
 //=== Cpp2 function definitions =================================================
 
+#line 1 "pure2-bugfix-for-dependent-types.cpp2"
 
 #line 3 "pure2-bugfix-for-dependent-types.cpp2"
 template<typename T, T::value_type V> [[nodiscard]] auto f(cpp2::in<typename T::value_type> x) -> T::value_type{
@@ -110,7 +112,7 @@ auto main() -> int{
     using alias = std::integral_constant<cpp2::i32,0>;
     static_cast<void>(alias::value_type{0});// Non-dependent.
   }
-  static_cast<void>([]<typename T>([[maybe_unused]] T const& param1) -> void{
+  static_cast<void>([]<typename T>([[maybe_unused]] T const& unnamed_param_1) -> void{
     using alias = std::integral_constant<T,0>;
     static_cast<void>(typename alias::value_type{0});// Dependent.
     {