[meta.type.synop] Indexing the unindexed type aliases and variable templates

Author: YexuanXiao

source/meta.tex

@@ -153,7 +153,6 @@
 \rSec2[meta.type.synop]{Header \tcode{<type_traits>} synopsis}
 
 \indexheader{type_traits}%
-% FIXME: Many index entries missing.
 \begin{codeblock}
 // all freestanding
 namespace std {
@@ -395,9 +394,9 @@
   template<class Fn, class Tuple>
     using @\libglobal{apply_result_t}@     = typename apply_result<Fn, Tuple>::type;
   template<class T>
-    using unwrap_reference_t = typename unwrap_reference<T>::type;
+    using @\libglobal{unwrap_reference_t}@ = typename unwrap_reference<T>::type;
   template<class T>
-    using unwrap_ref_decay_t = typename unwrap_ref_decay<T>::type;
+    using @\libglobal{unwrap_ref_decay_t}@ = typename unwrap_ref_decay<T>::type;
   template<class...>
     using @\libglobal{void_t}@             = void;
 
@@ -508,31 +507,31 @@
   template<class T>
     constexpr bool @\libglobal{is_destructible_v}@ = is_destructible<T>::value;
   template<class T, class... Args>
-    constexpr bool is_trivially_constructible_v = is_trivially_constructible<T, Args...>::value;
+    constexpr bool @\libglobal{is_trivially_constructible_v}@ = is_trivially_constructible<T, Args...>::value;
   template<class T>
-    constexpr bool is_trivially_default_constructible_v
+    constexpr bool @\libglobal{is_trivially_default_constructible_v}@
       = is_trivially_default_constructible<T>::value;
   template<class T>
-    constexpr bool is_trivially_copy_constructible_v = is_trivially_copy_constructible<T>::value;
+    constexpr bool @\libglobal{is_trivially_copy_constructible_v}@ = is_trivially_copy_constructible<T>::value;
   template<class T>
-    constexpr bool is_trivially_move_constructible_v = is_trivially_move_constructible<T>::value;
+    constexpr bool @\libglobal{is_trivially_move_constructible_v}@ = is_trivially_move_constructible<T>::value;
   template<class T, class U>
     constexpr bool @\libglobal{is_trivially_assignable_v}@ = is_trivially_assignable<T, U>::value;
   template<class T>
-    constexpr bool is_trivially_copy_assignable_v = is_trivially_copy_assignable<T>::value;
+    constexpr bool @\libglobal{is_trivially_copy_assignable_v}@ = is_trivially_copy_assignable<T>::value;
   template<class T>
-    constexpr bool is_trivially_move_assignable_v = is_trivially_move_assignable<T>::value;
+    constexpr bool @\libglobal{is_trivially_move_assignable_v}@ = is_trivially_move_assignable<T>::value;
   template<class T>
     constexpr bool @\libglobal{is_trivially_destructible_v}@ = is_trivially_destructible<T>::value;
   template<class T, class... Args>
-    constexpr bool is_nothrow_constructible_v = is_nothrow_constructible<T, Args...>::value;
+    constexpr bool @\libglobal{is_nothrow_constructible_v}@ = is_nothrow_constructible<T, Args...>::value;
   template<class T>
-    constexpr bool is_nothrow_default_constructible_v
+    constexpr bool @\libglobal{is_nothrow_default_constructible_v}@
       = is_nothrow_default_constructible<T>::value;
   template<class T>
     constexpr bool is_nothrow_copy_constructible_v = is_nothrow_copy_constructible<T>::value;
   template<class T>
-    constexpr bool is_nothrow_move_constructible_v = is_nothrow_move_constructible<T>::value;
+    constexpr bool @\libglobal{is_nothrow_move_constructible_v}@ = is_nothrow_move_constructible<T>::value;
   template<class T, class U>
     constexpr bool @\libglobal{is_nothrow_assignable_v}@ = is_nothrow_assignable<T, U>::value;
   template<class T>
@@ -554,7 +553,7 @@
   template<class T>
     constexpr bool @\libglobal{has_virtual_destructor_v}@ = has_virtual_destructor<T>::value;
   template<class T>
-    constexpr bool has_unique_object_representations_v
+    constexpr bool @\libglobal{has_unique_object_representations_v}@
       = has_unique_object_representations<T>::value;
   template<class T, class U>
     constexpr bool @\libglobal{reference_constructs_from_temporary_v}@
@@ -585,7 +584,7 @@
   template<class T, class U>
     constexpr bool @\libglobal{is_layout_compatible_v}@ = is_layout_compatible<T, U>::value;
   template<class Base, class Derived>
-    constexpr bool is_pointer_interconvertible_base_of_v
+    constexpr bool @\libglobal{is_pointer_interconvertible_base_of_v}@
       = is_pointer_interconvertible_base_of<Base, Derived>::value;
   template<class Fn, class... ArgTypes>
     constexpr bool @\libglobal{is_invocable_v}@ = is_invocable<Fn, ArgTypes...>::value;
@@ -594,7 +593,7 @@
   template<class Fn, class... ArgTypes>
     constexpr bool @\libglobal{is_nothrow_invocable_v}@ = is_nothrow_invocable<Fn, ArgTypes...>::value;
   template<class R, class Fn, class... ArgTypes>
-    constexpr bool is_nothrow_invocable_r_v = is_nothrow_invocable_r<R, Fn, ArgTypes...>::value;
+    constexpr bool @\libglobal{is_nothrow_invocable_r_v}@ = is_nothrow_invocable_r<R, Fn, ArgTypes...>::value;
   template<class Fn, class Tuple>
     constexpr bool @\libglobal{is_applicable_v}@ = is_applicable<Fn, Tuple>::value;
   template<class Fn, class Tuple>