[cpp.cond], [cpp.predefined], [support.limits.general] Add feature-test

macros from 2018-06 motions:

__has_cpp_attribute(assert)
__has_cpp_attribute(ensures)
__has_cpp_attribute(expects)
__cpp_explicit_bool
__cpp_nontype_template_parameter_class
__cpp_lib_atomic_ref
__cpp_lib_bit_cast
__cpp_lib_concepts
__cpp_lib_constexpr_swap_algorithms
__cpp_lib_list_remove_return_type

... all with value 201806L.

Author: zygoloid

source/preprocessor.tex

@@ -291,9 +291,11 @@
 {ll}
 \topline
 \lhdr{Attribute} & \rhdr{Value} \\ \rowsep
-
+\tcode{assert}                & \tcode{201806L} \\
 \tcode{carries_depencency}    & \tcode{200809L} \\
 \tcode{deprecated}            & \tcode{201309L} \\
+\tcode{ensures}               & \tcode{201806L} \\
+\tcode{expects}               & \tcode{201806L} \\
 \tcode{fallthrough}           & \tcode{201603L} \\
 \tcode{likely}                & \tcode{201803L} \\
 \tcode{maybe_unused}          & \tcode{201603L} \\
@@ -1480,6 +1482,7 @@
 \defnxname{cpp_deduction_guides}                  & \tcode{201703L} \\ \rowsep
 \defnxname{cpp_delegating_constructors}           & \tcode{200604L} \\ \rowsep
 \defnxname{cpp_enumerator_attributes}             & \tcode{201411L} \\ \rowsep
+\defnxname{cpp_explicit_bool}                     & \tcode{201806L} \\ \rowsep
 \defnxname{cpp_fold_expressions}                  & \tcode{201603L} \\ \rowsep
 \defnxname{cpp_generic_lambdas}                   & \tcode{201304L} \\ \rowsep
 \defnxname{cpp_guaranteed_copy_elision}           & \tcode{201606L} \\ \rowsep
@@ -1494,6 +1497,7 @@
 \defnxname{cpp_noexcept_function_type}            & \tcode{201510L} \\ \rowsep
 \defnxname{cpp_nontype_template_args}             & \tcode{201411L} \\ \rowsep
 \defnxname{cpp_nontype_template_parameter_auto}   & \tcode{201606L} \\ \rowsep
+\defnxname{cpp_nontype_template_parameter_class}  & \tcode{201806L} \\ \rowsep
 \defnxname{cpp_nsdmi}                             & \tcode{200809L} \\ \rowsep
 \defnxname{cpp_range_based_for}                   & \tcode{201603L} \\ \rowsep
 \defnxname{cpp_raw_strings}                       & \tcode{200710L} \\ \rowsep

source/support.tex

@@ -551,6 +551,10 @@
   \tcode{<utility>} \\ \rowsep
 \defnlibxname{cpp_lib_atomic_is_always_lock_free}           & \tcode{201603L} &
   \tcode{<atomic>} \\ \rowsep
+\defnlibxname{cpp_lib_atomic_ref}                           & \tcode{201806L} &
+  \tcode{<atomic>} \\ \rowsep
+\defnlibxname{cpp_lib_bit_cast}                             & \tcode{201806L} &
+  \tcode{<bit>} \\ \rowsep
 \defnlibxname{cpp_lib_bool_constant}                        & \tcode{201505L} &
   \tcode{<type_traits>} \\ \rowsep
 \defnlibxname{cpp_lib_boyer_moore_searcher}                 & \tcode{201603L} &
@@ -563,6 +567,10 @@
   \tcode{<algorithm>} \\ \rowsep
 \defnlibxname{cpp_lib_complex_udls}                         & \tcode{201309L} &
   \tcode{<complex>} \\ \rowsep
+\defnlibxname{cpp_lib_concepts}                             & \tcode{201806L} &
+  \tcode{<concepts>} \\ \rowsep
+\defnlibxname{cpp_lib_constexpr_swap_algorithms}            & \tcode{201806L} &
+  \tcode{<algorithm>} \\ \rowsep
 \defnlibxname{cpp_lib_enable_shared_from_this}              & \tcode{201603L} &
   \tcode{<memory>} \\ \rowsep
 \defnlibxname{cpp_lib_exchange_function}                    & \tcode{201304L} &
@@ -601,6 +609,8 @@
   \tcode{<type_traits>} \\ \rowsep
 \defnlibxname{cpp_lib_launder}                              & \tcode{201606L} &
   \tcode{<new>} \\ \rowsep
+\defnlibxname{cpp_lib_list_remove_return_type}              & \tcode{201806L} &
+  \tcode{<forward_list>} \tcode{<list>} \\ \rowsep
 \defnlibxname{cpp_lib_logical_traits}                       & \tcode{201510L} &
   \tcode{<type_traits>} \\ \rowsep
 \defnlibxname{cpp_lib_make_from_tuple}                      & \tcode{201606L} &