[depr.variant] - C++20 → C++23

Files changed (1) hide show

tmp/tmplchxlnrc/{from.md → to.md} RENAMED Viewed

@@ -11,22 +11,22 @@ namespace std {
   template<size_t I, class T> struct variant_alternative<I, const volatile T>;
 }
 ```
 ``` cpp
-template<class T> class variant_size<volatile T>;
-template<class T> class variant_size<const volatile T>;
 ```
 Let `VS` denote `variant_size<T>` of the cv-unqualified type `T`. Then
 specializations of each of the two templates meet the
 *Cpp17UnaryTypeTrait* requirements with a base characteristic of
 `integral_constant<size_t, VS::value>`.
 ``` cpp
-template<size_t I, class T> class variant_alternative<I, volatile T>;
-template<size_t I, class T> class variant_alternative<I, const volatile T>;
 ```
 Let `VA` denote `variant_alternative<I, T>` of the cv-unqualified type
 `T`. Then specializations of each of the two templates meet the
 *Cpp17TransformationTrait* requirements with a member typedef `type`

   template<size_t I, class T> struct variant_alternative<I, const volatile T>;
 }
 ```
 ``` cpp
+template<class T> struct variant_size<volatile T>;
+template<class T> struct variant_size<const volatile T>;
 ```
 Let `VS` denote `variant_size<T>` of the cv-unqualified type `T`. Then
 specializations of each of the two templates meet the
 *Cpp17UnaryTypeTrait* requirements with a base characteristic of
 `integral_constant<size_t, VS::value>`.
 ``` cpp
+template<size_t I, class T> struct variant_alternative<I, volatile T>;
+template<size_t I, class T> struct variant_alternative<I, const volatile T>;
 ```
 Let `VA` denote `variant_alternative<I, T>` of the cv-unqualified type
 `T`. Then specializations of each of the two templates meet the
 *Cpp17TransformationTrait* requirements with a member typedef `type`

Diff to HTML by rtfpessoa