[meta.unary.prop, meta.trans.other] Omit unhelpful second argument in static_asserts. (#1479)

Author: Eelis

source/utilities.tex

@@ -16166,10 +16166,10 @@
 union U2 final { };
 
 // the following assertions hold:
-static_assert(!is_final_v<int>, "Error!");
-static_assert( is_final_v<P>,  "Error!");
-static_assert(!is_final_v<U1>, "Error!");
-static_assert( is_final_v<U2>, "Error!");
+static_assert(!is_final_v<int>);
+static_assert(is_final_v<P>);
+static_assert(!is_final_v<U1>);
+static_assert(is_final_v<U2>);
 \end{codeblock}
 \end{example}
 
@@ -16852,12 +16852,12 @@
 the following assertions will hold:
 
 \begin{codeblock}
-static_assert(is_same_v<result_of_t<S(int)>, short>, "Error!");
-static_assert(is_same_v<result_of_t<S&(unsigned char, int&)>, double>, "Error!");
-static_assert(is_same_v<result_of_t<PF1()>, bool>, "Error!");
-static_assert(is_same_v<result_of_t<PMF(unique_ptr<S>, int)>, void>, "Error!");
-static_assert(is_same_v<result_of_t<PMD(S)>, char&&>, "Error!");
-static_assert(is_same_v<result_of_t<PMD(const S*)>, const char&>, "Error!");
+static_assert(is_same_v<result_of_t<S(int)>, short>);
+static_assert(is_same_v<result_of_t<S&(unsigned char, int&)>, double>);
+static_assert(is_same_v<result_of_t<PF1()>, bool>);
+static_assert(is_same_v<result_of_t<PMF(unique_ptr<S>, int)>, void>);
+static_assert(is_same_v<result_of_t<PMD(S)>, char&&>);
+static_assert(is_same_v<result_of_t<PMD(const S*)>, const char&>);
 \end{codeblock}
 \end{example}