This is really not a corner case. Think about it. Every place with daylight saving time will experience a duplicate hour when switching from summer time to winter time. A timestamp given in local time can map to multiple UTC times.
Better (IMO) to use the zoneinfo ID, e.g. "Europe/London" - along with the offset as well, in case the local time is ambiguous in that time zone due to a daylight saving transition.