static void narrow_value_check(Impl &&) noexcept

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

Requires: Always available.

Complexity: Constant time.

Guarantees: Never throws an exception.