Would it be better to do

  sparse_val = sparse[i]
  return sparse_val < n && dense[sparse_val] == i

Regardless, we are treading in undefined territory, and the behaviour is not something that can be reliably be dependent upon