I strongly suspect this a duplicate of #243830 that got fixed recently. So a new test would be very welcome.
I strongly suspect this a duplicate of #243830 that got fixed recently. So a new test would be very welcome.