static void narrow_exception_check(Impl &&) noexcept

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

Requires: Always available.

Complexity: Constant time.

Guarantees: Never throws an exception.