tree ffc4d7bc848d0b1e366429028bcbb546d20a548c
parent b2778e4a5148af45254043a9663a2879f783a1f8
author Tim Windelschmidt <tim@monogon.tech> 1713484631 +0200
committer Tim Windelschmidt <tim@monogon.tech> 1713997751 +0000

go/types/mapsets: use copy instead of loop

Change-Id: I39da63e9ef7f91157d1ea9e5eadf6cef90342019
Reviewed-on: https://review.monogon.dev/c/monogon/+/3007
Tested-by: Jenkins CI
Reviewed-by: Serge Bazanski <serge@monogon.tech>