Typing value in Select.Changed

[davetapley]

I see value is generic on SelectType.

textual/src/textual/widgets/_select.py

Lines 262 to 270 in a44119d

	@rich.repr.auto
	class Changed(Message):
	"""Posted when the select value was changed.
	This message can be handled using a `on_select_changed` method.
	"""
	def __init__(
	self, select: Select[SelectType], value: SelectType | NoSelection

But if I:

  @on(Select.Changed)
    def change_date(self, event: Select.Changed) -> None:

then event.value is SelectType@Select | NoSelection, not a concrete type.

I tried:

    SelectInt = Select[int]
    @on(SelectInt.Changed)
    def change_date(self, event: SelectInt.Changed) -> None:

But no difference. Any ideas? Could it be a bug and that the Changed class itself need to be Generic?