Coverage checker should ignore hidden arguments

Since they're required to be inferred from other arguments, they make no
contribution to coverage checking.
Fixes #1710