The PVS-Studio team keeps on adding new diagnostic rules to the Go analyzer. Today, we show how V8013 works.
In Go, you can explicitly pick which argument a placeholder uses. If you explicitly specify that the` n` argument should be substituted, the `n 1` argument will be used next.
In the example, ` %[1]s` uses `tableName` and implicitly shifts the argument index for the next placeholder by 1. So, the next placeholder uses `constraint`, not the intended `err`.