"The collection is never added to" for Map-typed record field

[lukehutch]

I'm seeing a "The collection is never added to" warning on a record parameter, for a public record class:

(latest version of vscode-java and VS Code)