[expr.dynamic.cast] The phrase "runtime check" is not quite correct

[frederick-vs-ja]

dynamic_cast, which possibly performs the so-called "runtime check", is allowed in constant evaluation since C++20 via P1327R1. Perhaps we should choose another phrase to describe such checks.

[Eisenwave]

I fully agree. C++ doesn't really have a concept of runtime or compile-time anyway, so this wording feels very out-of-place in general.

Perhaps something like

 If T is “pointer to cv void”, then the result is a pointer to
 the most derived object pointed to by v.
-Otherwise, a runtime check is applied to see if the object pointed or
-referred to by v can be converted to the type pointed or referred to by T.
+Otherwise, the effect of the expression dynamic_cast<T>(v)
+is determined as follows.

[...]
-Otherwise, the runtime check fails.
+Otherwise, the cast fails.