feat: Avoid boxing primitives in Go in sequence concatenations as well#6361

robin-aws merged 6 commits intodafny-lang:masterdafny-lang/dafny:masterfrom

robin-aws:new-array-with-prototyperobin-aws/dafny:new-array-with-prototypeCopy head branch name to clipboard