use a composite strategy to generate the dataframe with a tz-aware datetime column

[keewis]

This tries to use a composite strategy to generate a dataframe with a single timezone-aware datetime column. This works, but it feels somewhat weird to have to jump through hoops just get a standard timezone-aware datetime column.

@Zac-HD, do you have any advice here (as usual, time permitting)? Am I missing anything, or is this something that currently is not supported by hypothesis.extra.pandas? For context, what we have right now on main returns object dtypes, not the timezone-aware extension dtypes.

• Closes ⚠️ Nightly upstream-dev CI failed ⚠️ #9098

[Zac-HD]

Am I missing anything, or is this something that currently is not supported by hypothesis.extra.pandas? For context, what we have right now on main returns object dtypes, not the timezone-aware extension dtypes.

I think our Pandas extra just hasn't been updated to support this yet; mind opening an issue for us?

[keewis]

@dcherian, should we merge this? I can't find a way avoid the composite strategy, so this might be the best we can do right now.