[mypy]
plugins = trio_typing.plugin