Как указать гипотезе.strategies выбирать not-None для необязательных полей ⇐ Python

[Anonymous]

Я являюсь пользователем класса, владельцем которого я не являюсь:

Код: Выделить всё

from dataclasses import dataclass
@dataclass
class Child:
f1: int
f2: int | None
@dataclass
class Parent:
child: Child

Фактический класс намного намного глубже и шире.
Для запуска ручных тестов (не pytest, не CI) , я хочу создать экземпляр Parent со случайными значениями.

Код: Выделить всё

from typing import TypeVar
import hypothesis
import hypothesis.strategies
T = TypeVar("T")
def generate(cls: type[T], seed: int) -> T:
objects = []

@hypothesis.seed(seed)
@hypothesis.given(hypothesis.strategies.from_type(cls))
@hypothesis.settings(max_examples=10)
def f(o):
objects.append(o)

f()

# Firts example tends to be a trivial one so return the last one instead
return objects[-1]

print(generate(Parent))
print(generate(Parent))

вывод:

Код: Выделить всё

Parent(child=Child(f1=1234, f2=None))
Parent(child=Child(f1=-10, f2=4567))

Меня не волнуют значения в экземпляре, кроме мне не нужно значение None для необязательности поля (я хочу, чтобы Child.f2 всегда был случайным целым числом). Я не хочу поддерживать код для его создания, потому что класс часто меняется.
Как мне обновить фрагмент, чтобы указать гипотезе никогда не выбирать None?

Подробнее здесь: https://stackoverflow.com/questions/793 ... nal-fields