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.