static void narrow_error_check(Impl &&) noexcept

Observer policy performing hard UB if no error is present, by calling static void _ub(Impl &&) . Constexpr where possible.

Requires: Always available.

Complexity: Constant time.

Guarantees: Never throws an exception.