[Bug other/87343] New: Incomplete documentation for built-in type traits

[webrown.cpp at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87343

            Bug ID: 87343
           Summary: Incomplete documentation for built-in type traits
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: webrown.cpp at gmail dot com
  Target Milestone: ---

The manual page https://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html seems to be
missing descriptions of several built-in type traits in current (trunk) use for
implementing the C++ <type_traits> header.

The missing entries seem to include __is_final, __is_trivially_copyable,
__is_assignable, __is_trivially_constructible, __is_trivially_assignable,
__is_aggregate, and __is_constructible.

Also, while the __is_same trait is documented in section 7.10 (Concepts), its
description seems perhaps to belong better among the other built-ins in 7.9
(Type Traits).  I believe that this trait's placement in 7.10 is simply a
historical artifact, and that no harm would accrue from relocating it to 7.9.

(Bug 48748 is similar in nature, but has long since been addressed.)