From 465dc004ed3978085c48ffc6b023788f5614e9eb Mon Sep 17 00:00:00 2001
From: Krystian Stasiowski <sdkrystian@gmail.com>
Date: Thu, 14 Nov 2024 09:11:24 -0500
Subject: [PATCH] [FOLD] update tests

---
 test-files/golden-tests/requires-clause.adoc | 112 ++++++++++++++++---
 1 file changed, 99 insertions(+), 13 deletions(-)

diff --git a/test-files/golden-tests/requires-clause.adoc b/test-files/golden-tests/requires-clause.adoc
index 41f1ddc42..c0f4d7617 100644
--- a/test-files/golden-tests/requires-clause.adoc
+++ b/test-files/golden-tests/requires-clause.adoc
@@ -9,7 +9,9 @@
 [cols=2,separator=¦]
 |===
 ¦Name ¦Description
-¦xref:A.adoc[`A`]  ¦
+¦xref:A-09.adoc[`A`]  ¦
+
+¦xref:A-05.adoc[`A`]  ¦
 
 |===
 === Functions
@@ -34,14 +36,21 @@
 ----
 template<typename T>
 void
-xref:f-05.adoc[pass:[f]]() requires (sizeof(T) == 4);
+xref:f-04.adoc[pass:[f]]() requires (sizeof(T) == 4);
 ----
 
 [source,cpp,subs="verbatim,macros,-callouts"]
 ----
 template<typename T>
 void
-xref:f-08.adoc[pass:[f]]() requires (sizeof(T) == 2);
+xref:f-0b.adoc[pass:[f]]() requires (sizeof(T) == 2);
+----
+
+[source,cpp,subs="verbatim,macros,-callouts"]
+----
+template<typename U>
+void
+xref:f-02.adoc[pass:[f]]() requires (sizeof(U) == 2);
 ----
   
 
@@ -52,7 +61,7 @@ xref:f-08.adoc[pass:[f]]() requires (sizeof(T) == 2);
 
 
 
-[#f-05]
+[#f-04]
 
 == f
 
@@ -77,7 +86,7 @@ f() requires (sizeof(T) == 4);
 
 
 
-[#f-08]
+[#f-0b]
 
 == f
 
@@ -102,6 +111,31 @@ f() requires (sizeof(T) == 2);
 
 
 
+[#f-02]
+
+== f
+
+
+
+=== Synopsis
+
+Declared in `<requires-clause.cpp>`
+
+[source,cpp,subs="verbatim,macros,-callouts"]
+----
+template<typename U>
+void
+f() requires (sizeof(U) == 2);
+----
+
+
+
+
+
+
+
+
+
 [#g]
 
 == g
@@ -115,14 +149,21 @@ f() requires (sizeof(T) == 2);
 ----
 template<typename T> requires (sizeof(T) == 4)
 void
-xref:g-0a.adoc[pass:[g]]();
+xref:g-00.adoc[pass:[g]]();
 ----
 
 [source,cpp,subs="verbatim,macros,-callouts"]
 ----
-template<typename T> requires (sizeof(U) == 2)
+template<typename T> requires (sizeof(T) == 2)
 void
-xref:g-0c.adoc[pass:[g]]();
+xref:g-04.adoc[pass:[g]]();
+----
+
+[source,cpp,subs="verbatim,macros,-callouts"]
+----
+template<typename U> requires (sizeof(U) == 2)
+void
+xref:g-03.adoc[pass:[g]]();
 ----
   
 
@@ -133,7 +174,7 @@ xref:g-0c.adoc[pass:[g]]();
 
 
 
-[#g-0a]
+[#g-00]
 
 == g
 
@@ -158,7 +199,32 @@ g();
 
 
 
-[#g-0c]
+[#g-04]
+
+== g
+
+
+
+=== Synopsis
+
+Declared in `<requires-clause.cpp>`
+
+[source,cpp,subs="verbatim,macros,-callouts"]
+----
+template<typename T> requires (sizeof(T) == 2)
+void
+g();
+----
+
+
+
+
+
+
+
+
+
+[#g-03]
 
 == g
 
@@ -170,7 +236,7 @@ Declared in `<requires-clause.cpp>`
 
 [source,cpp,subs="verbatim,macros,-callouts"]
 ----
-template<typename T> requires (sizeof(U) == 2)
+template<typename U> requires (sizeof(U) == 2)
 void
 g();
 ----
@@ -183,7 +249,27 @@ g();
 
 
 
-[#A]
+[#A-09]
+
+== A
+
+
+
+=== Synopsis
+
+Declared in `<requires-clause.cpp>`
+
+[source,cpp,subs="verbatim,macros,-callouts"]
+----
+template<typename T> requires (sizeof(T) == 2)
+struct A;
+----
+
+
+
+
+
+[#A-05]
 
 == A
 
@@ -195,7 +281,7 @@ Declared in `<requires-clause.cpp>`
 
 [source,cpp,subs="verbatim,macros,-callouts"]
 ----
-template<typename T> requires (sizeof(U) == 2)
+template<typename U> requires (sizeof(U) == 2)
 struct A;
 ----