Consider a pretty standard command callback function:

async def command(update: Update, context: ContextTypes.DEFAULT_TYPE) -> None:
	await update.message.reply_text("hello world")

mypy will complain about this as message can vary depending on different calling contexts:

error: Item "None" of "Message | None" has no attribute "reply_text" [union-attr]

To keep mypy happy I've taken to using this pattern in all my callbacks:

async def command(update: Update, context: ContextTypes.DEFAULT_TYPE)) -> None:
	if update.message:
		await update.message.reply_text("hello world")

But its kind of annoying repeating this everywhere, and moreoever, none of the code examples seem bother with this. I know mypy isn't the be-all-end-all, but I'm curious about this discrepancy.