Correct type of hash-has-key?.

Closes PR 14157.