Update regression tests for compiler test update that was just merged

Author: hsutter

regression-tests/test-results/gcc-10-c++20/pure2-bugfix-for-requires-clause-in-forward-declaration.cpp.output

@@ -6,12 +6,12 @@ pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:46: error: expect
 In file included from pure2-bugfix-for-requires-clause-in-forward-declaration.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-bugfix-for-requires-clause-in-forward-declaration.cpp2:4:1: note: in expansion of macro ‘CPP2_REQUIRES_’
-pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:3: error: no declaration matches ‘element::element(auto:109&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(element::__ct ::n)>::type>::type, const std::__cxx11::add_const_t<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&>’
+pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:3: error: no declaration matches ‘element::element(auto:112&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(element::__ct ::n)>::type>::type, const std::__cxx11::add_const_t<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&>’
 pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:5:11: note: candidates are: ‘element::element(const element&)’
-pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:20: note:                 ‘template<class auto:107> element::element(auto:107&&)’
+pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:20: note:                 ‘template<class auto:110> element::element(auto:110&&)’
 pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:1:7: note: ‘class element’ defined here
 pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:5:78: error: expected unqualified-id before ‘{’ token
-pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:8: error: no declaration matches ‘element& element::operator=(auto:110&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(element::operator=::n)>::type>::type, const std::__cxx11::add_const_t<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&>’
+pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:8: error: no declaration matches ‘element& element::operator=(auto:113&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(element::operator=::n)>::type>::type, const std::__cxx11::add_const_t<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&>’
 pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:6:16: note: candidates are: ‘void element::operator=(const element&)’
-pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:16: note:                 ‘template<class auto:108> element& element::operator=(auto:108&&)’
+pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:3:16: note:                 ‘template<class auto:111> element& element::operator=(auto:111&&)’
 pure2-bugfix-for-requires-clause-in-forward-declaration.cpp2:1:7: note: ‘class element’ defined here

regression-tests/test-results/gcc-10-c++20/pure2-bugfix-for-ufcs-arguments.cpp.output

@@ -6,14 +6,14 @@ pure2-bugfix-for-ufcs-arguments.cpp2:74:39: error: expected ‘;’ at end of me
 In file included from pure2-bugfix-for-ufcs-arguments.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-bugfix-for-ufcs-arguments.cpp2:75:1: note: in expansion of macro ‘CPP2_REQUIRES_’
-pure2-bugfix-for-ufcs-arguments.cpp2:72:3: error: no declaration matches ‘B::B(auto:127&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(B::__ct ::m_)>::type>::type, const add_const_t<A>&>’
+pure2-bugfix-for-ufcs-arguments.cpp2:72:3: error: no declaration matches ‘B::B(auto:130&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(B::__ct ::m_)>::type>::type, const add_const_t<A>&>’
 pure2-bugfix-for-ufcs-arguments.cpp2:68:7: note: candidates are: ‘constexpr B::B(B&&)’
 pure2-bugfix-for-ufcs-arguments.cpp2:68:7: note:                 ‘constexpr B::B(const B&)’
-pure2-bugfix-for-ufcs-arguments.cpp2:71:11: note:                 ‘template<class auto:115> B::B(auto:115&&)’
+pure2-bugfix-for-ufcs-arguments.cpp2:71:11: note:                 ‘template<class auto:118> B::B(auto:118&&)’
 pure2-bugfix-for-ufcs-arguments.cpp2:68:7: note: ‘class B’ defined here
 pure2-bugfix-for-ufcs-arguments.cpp2:74:81: error: expected unqualified-id before ‘{’ token
-pure2-bugfix-for-ufcs-arguments.cpp2:76:6: error: no declaration matches ‘B& B::operator=(auto:128&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(B::operator=::m_)>::type>::type, const add_const_t<A>&>’
+pure2-bugfix-for-ufcs-arguments.cpp2:76:6: error: no declaration matches ‘B& B::operator=(auto:131&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(B::operator=::m_)>::type>::type, const add_const_t<A>&>’
 pure2-bugfix-for-ufcs-arguments.cpp2:68:7: note: candidates are: ‘constexpr B& B::operator=(B&&)’
 pure2-bugfix-for-ufcs-arguments.cpp2:68:7: note:                 ‘constexpr B& B::operator=(const B&)’
-pure2-bugfix-for-ufcs-arguments.cpp2:74:14: note:                 ‘template<class auto:116> B& B::operator=(auto:116&&)’
+pure2-bugfix-for-ufcs-arguments.cpp2:74:14: note:                 ‘template<class auto:119> B& B::operator=(auto:119&&)’
 pure2-bugfix-for-ufcs-arguments.cpp2:68:7: note: ‘class B’ defined here

regression-tests/test-results/gcc-10-c++20/pure2-hashable.cpp.output

@@ -10,21 +10,21 @@ pure2-hashable.cpp2:10:53: error: expected ‘;’ at end of member declaration
 In file included from pure2-hashable.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-hashable.cpp2:11:1: note: in expansion of macro ‘CPP2_REQUIRES_’
-pure2-hashable.cpp2:3:1: error: no declaration matches ‘base::base(auto:112&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(base::__ct ::h_)>::type>::type, const std::add_const_t&>’
+pure2-hashable.cpp2:3:1: error: no declaration matches ‘base::base(auto:115&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(base::__ct ::h_)>::type>::type, const std::add_const_t&>’
 pure2-hashable.cpp2:1:7: note: candidates are: ‘constexpr base::base(base&&)’
 pure2-hashable.cpp2:1:7: note:                 ‘constexpr base::base(const base&)’
-pure2-hashable.cpp2:3:13: note:                 ‘template<class auto:107> base::base(auto:107&&)’
+pure2-hashable.cpp2:3:13: note:                 ‘template<class auto:110> base::base(auto:110&&)’
 pure2-hashable.cpp2:1:7: note: ‘class base’ defined here
 pure2-hashable.cpp2:5:83: error: expected unqualified-id before ‘{’ token
-pure2-hashable.cpp2:6:6: error: no declaration matches ‘base& base::operator=(auto:113&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(base::operator=::h_)>::type>::type, const std::add_const_t&>’
+pure2-hashable.cpp2:6:6: error: no declaration matches ‘base& base::operator=(auto:116&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(base::operator=::h_)>::type>::type, const std::add_const_t&>’
 pure2-hashable.cpp2:1:7: note: candidates are: ‘constexpr base& base::operator=(base&&)’
 pure2-hashable.cpp2:1:7: note:                 ‘constexpr base& base::operator=(const base&)’
-pure2-hashable.cpp2:6:14: note:                 ‘template<class auto:108> base& base::operator=(auto:108&&)’
+pure2-hashable.cpp2:6:14: note:                 ‘template<class auto:111> base& base::operator=(auto:111&&)’
 pure2-hashable.cpp2:1:7: note: ‘class base’ defined here
-pure2-hashable.cpp2:17:1: error: no declaration matches ‘mystruct::mystruct(auto:114&&, auto:115&&, auto:116&&) requires (is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(mystruct::__ct ::i_)>::type>::type, const std::add_const_t&>) && (is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(mystruct::__ct ::j_)>::type>::type, const std::__cxx11::add_const_t<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&>) && (is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(mystruct::__ct ::k_)>::type>::type, const std::add_const_t&>)’
+pure2-hashable.cpp2:17:1: error: no declaration matches ‘mystruct::mystruct(auto:117&&, auto:118&&, auto:119&&) requires (is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(mystruct::__ct ::i_)>::type>::type, const std::add_const_t&>) && (is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(mystruct::__ct ::j_)>::type>::type, const std::__cxx11::add_const_t<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >&>) && (is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(mystruct::__ct ::k_)>::type>::type, const std::add_const_t&>)’
 pure2-hashable.cpp2:5:7: note: candidates are: ‘mystruct::mystruct(mystruct&&)’
 pure2-hashable.cpp2:5:7: note:                 ‘mystruct::mystruct(const mystruct&)’
-pure2-hashable.cpp2:10:13: note:                 ‘template<class auto:109, class auto:110, class auto:111> mystruct::mystruct(auto:109&&, auto:110&&, auto:111&&)’
+pure2-hashable.cpp2:10:13: note:                 ‘template<class auto:112, class auto:113, class auto:114> mystruct::mystruct(auto:112&&, auto:113&&, auto:114&&)’
 pure2-hashable.cpp2:5:7: note: ‘class mystruct’ defined here
 pure2-hashable.cpp2:20:104: error: mixing declarations and function-definitions is forbidden
 pure2-hashable.cpp2:20:107: error: expected constructor, destructor, or type conversion before ‘{’ token

regression-tests/test-results/gcc-10-c++20/pure2-last-use.cpp.output

@@ -67,40 +67,40 @@ pure2-last-use.cpp2:983:43: error: expected ‘;’ at end of member declaration
 In file included from pure2-last-use.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-last-use.cpp2:984:1: note: in expansion of macro ‘CPP2_REQUIRES_’
-pure2-last-use.cpp2:183:3: error: no declaration matches ‘issue_857_2::issue_857_2(auto:152&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_2::__ct ::a_)>::type>::type, const std::add_const_t<std::unique_ptr<int, std::default_delete<int> > >&>’
+pure2-last-use.cpp2:183:3: error: no declaration matches ‘issue_857_2::issue_857_2(auto:155&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_2::__ct ::a_)>::type>::type, const std::add_const_t<std::unique_ptr<int, std::default_delete<int> > >&>’
 pure2-last-use.cpp2:257:7: note: candidates are: ‘issue_857_2::issue_857_2(issue_857_2&&)’
 pure2-last-use.cpp2:257:7: note:                 ‘issue_857_2::issue_857_2(const issue_857_2&)’
-pure2-last-use.cpp2:259:11: note:                 ‘template<class auto:117> issue_857_2::issue_857_2(auto:117&&)’
+pure2-last-use.cpp2:259:11: note:                 ‘template<class auto:120> issue_857_2::issue_857_2(auto:120&&)’
 pure2-last-use.cpp2:257:7: note: ‘class issue_857_2’ defined here
 pure2-last-use.cpp2:185:100: error: expected unqualified-id before ‘{’ token
-pure2-last-use.cpp2:187:6: error: no declaration matches ‘issue_857_2& issue_857_2::operator=(auto:153&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_2::operator=::a_)>::type>::type, const std::add_const_t<std::unique_ptr<int, std::default_delete<int> > >&>’
+pure2-last-use.cpp2:187:6: error: no declaration matches ‘issue_857_2& issue_857_2::operator=(auto:156&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_2::operator=::a_)>::type>::type, const std::add_const_t<std::unique_ptr<int, std::default_delete<int> > >&>’
 pure2-last-use.cpp2:257:7: note: candidates are: ‘issue_857_2& issue_857_2::operator=(issue_857_2&&)’
 pure2-last-use.cpp2:257:7: note:                 ‘issue_857_2& issue_857_2::operator=(const issue_857_2&)’
-pure2-last-use.cpp2:262:14: note:                 ‘template<class auto:118> issue_857_2& issue_857_2::operator=(auto:118&&)’
+pure2-last-use.cpp2:262:14: note:                 ‘template<class auto:121> issue_857_2& issue_857_2::operator=(auto:121&&)’
 pure2-last-use.cpp2:257:7: note: ‘class issue_857_2’ defined here
-pure2-last-use.cpp2:266:3: error: no declaration matches ‘issue_857_3::issue_857_3(auto:154&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_3::__ct ::i_)>::type>::type, int&>’
+pure2-last-use.cpp2:266:3: error: no declaration matches ‘issue_857_3::issue_857_3(auto:157&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_3::__ct ::i_)>::type>::type, int&>’
 pure2-last-use.cpp2:262:7: note: candidates are: ‘constexpr issue_857_3::issue_857_3(issue_857_3&&)’
 pure2-last-use.cpp2:262:7: note:                 ‘constexpr issue_857_3::issue_857_3(const issue_857_3&)’
 pure2-last-use.cpp2:270:9: note:                 ‘issue_857_3::issue_857_3()’
-pure2-last-use.cpp2:265:11: note:                 ‘template<class auto:119> issue_857_3::issue_857_3(auto:119&&)’
+pure2-last-use.cpp2:265:11: note:                 ‘template<class auto:122> issue_857_3::issue_857_3(auto:122&&)’
 pure2-last-use.cpp2:262:7: note: ‘class issue_857_3’ defined here
 pure2-last-use.cpp2:268:112: error: expected unqualified-id before ‘{’ token
-pure2-last-use.cpp2:270:6: error: no declaration matches ‘issue_857_3& issue_857_3::operator=(auto:155&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_3::operator=::i_)>::type>::type, int&>’
+pure2-last-use.cpp2:270:6: error: no declaration matches ‘issue_857_3& issue_857_3::operator=(auto:158&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_3::operator=::i_)>::type>::type, int&>’
 pure2-last-use.cpp2:262:7: note: candidates are: ‘issue_857_3& issue_857_3::operator=(issue_857_3&&)’
 pure2-last-use.cpp2:262:7: note:                 ‘issue_857_3& issue_857_3::operator=(const issue_857_3&)’
-pure2-last-use.cpp2:268:14: note:                 ‘template<class auto:120> issue_857_3& issue_857_3::operator=(auto:120&&)’
+pure2-last-use.cpp2:268:14: note:                 ‘template<class auto:123> issue_857_3& issue_857_3::operator=(auto:123&&)’
 pure2-last-use.cpp2:262:7: note: ‘class issue_857_3’ defined here
-pure2-last-use.cpp2:269:3: error: no declaration matches ‘issue_857_6::issue_857_6(auto:156&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_6::__ct ::i_)>::type>::type, int&>’
+pure2-last-use.cpp2:269:3: error: no declaration matches ‘issue_857_6::issue_857_6(auto:159&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_6::__ct ::i_)>::type>::type, int&>’
 pure2-last-use.cpp2:266:7: note: candidates are: ‘constexpr issue_857_6::issue_857_6(issue_857_6&&)’
 pure2-last-use.cpp2:266:7: note:                 ‘constexpr issue_857_6::issue_857_6(const issue_857_6&)’
 pure2-last-use.cpp2:274:9: note:                 ‘issue_857_6::issue_857_6()’
-pure2-last-use.cpp2:269:11: note:                 ‘template<class auto:121> issue_857_6::issue_857_6(auto:121&&)’
+pure2-last-use.cpp2:269:11: note:                 ‘template<class auto:124> issue_857_6::issue_857_6(auto:124&&)’
 pure2-last-use.cpp2:266:7: note: ‘class issue_857_6’ defined here
 pure2-last-use.cpp2:271:112: error: expected unqualified-id before ‘{’ token
-pure2-last-use.cpp2:273:6: error: no declaration matches ‘issue_857_6& issue_857_6::operator=(auto:157&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_6::operator=::i_)>::type>::type, int&>’
+pure2-last-use.cpp2:273:6: error: no declaration matches ‘issue_857_6& issue_857_6::operator=(auto:160&&) requires  is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(issue_857_6::operator=::i_)>::type>::type, int&>’
 pure2-last-use.cpp2:266:7: note: candidates are: ‘issue_857_6& issue_857_6::operator=(issue_857_6&&)’
 pure2-last-use.cpp2:266:7: note:                 ‘issue_857_6& issue_857_6::operator=(const issue_857_6&)’
-pure2-last-use.cpp2:272:14: note:                 ‘template<class auto:122> issue_857_6& issue_857_6::operator=(auto:122&&)’
+pure2-last-use.cpp2:272:14: note:                 ‘template<class auto:125> issue_857_6& issue_857_6::operator=(auto:125&&)’
 pure2-last-use.cpp2:266:7: note: ‘class issue_857_6’ defined here
 pure2-last-use.cpp2:279:272: error: ‘move_only_function’ is not a member of ‘std’
 pure2-last-use.cpp2:279:295: error: template argument 1 is invalid

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

@@ -9,8 +9,8 @@ pure2-print.cpp2:68:1: note: in expansion of macro ‘CPP2_REQUIRES_’
 pure2-print.cpp2:97:1: note: in expansion of macro ‘CPP2_REQUIRES_’
 pure2-print.cpp2:9:41: error: ‘constexpr const T outer::object_alias’ is not a static data member of ‘class outer’
 pure2-print.cpp2:9:48: error: template definition of non-template ‘constexpr const T outer::object_alias’
-pure2-print.cpp2:67:14: error: no declaration matches ‘void outer::mytype::variadic(const auto:108& ...) requires (is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(outer::mytype::variadic::x)>::type>::type, int> && ...)’
-pure2-print.cpp2:67:29: note: candidate is: ‘template<class ... auto:107> static void outer::mytype::variadic(const auto:107& ...)’
+pure2-print.cpp2:67:14: error: no declaration matches ‘void outer::mytype::variadic(const auto:111& ...) requires (is_convertible_v<typename std::remove_cv<typename std::remove_reference<decltype(outer::mytype::variadic::x)>::type>::type, int> && ...)’
+pure2-print.cpp2:67:29: note: candidate is: ‘template<class ... auto:110> static void outer::mytype::variadic(const auto:110& ...)’
 pure2-print.cpp2:10:19: note: ‘class outer::mytype’ defined here
 pure2-print.cpp2:96:37: error: no declaration matches ‘void outer::print(std::ostream&, const Args& ...) requires  cpp2::impl::cmp_greater_eq(sizeof ... (Args ...), 0)’
 pure2-print.cpp2:96:37: note: no functions named ‘void outer::print(std::ostream&, const Args& ...) requires  cpp2::impl::cmp_greater_eq(sizeof ... (Args ...), 0)’