Используйте attrs or_ validator с mypy ⇐ Python

[Anonymous]

Я пытаюсь использовать attrs для определения класса, у которого есть атрибут, который может быть либо str, либо int. Валидатор or_ выглядит именно тем, что мне нужно, но mypy выдает ошибку при использовании точного шаблона, использованного в документе (немного измененного для моей цели

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

import attrs

@attrs.define
class C:
val: int | str = attrs.field(
validator=attrs.validators.or_(
attrs.validators.instance_of(int),
attrs.validators.instance_of(str),
)
)

Он работает нормально и во время выполнения, как и ожидалось, но mypy выдает следующую ошибку:

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

error: Cannot infer type argument 1 of "or_"  [misc]

Есть какие-нибудь идеи о том, как я могу печатать по-другому или связать валидаторы, чтобы сохранить безопасность типов, но при этом удовлетворить mypy?

Подробнее здесь: https://stackoverflow.com/questions/792 ... -with-mypy