An Optional<T> is pod-like if the inner type is.