Record in list decomposed in a single step needs type hint, is this a bug?

Can you show an example (preferrably with a playground link) where this happens?
Normally if this happens when destructuring a tuple, the same thing would happen with a direct destructuring of the record. I can’t repro your issue.