I thought you were refering to `demote/check-free`, since that was what github showed in the center of the comment. Absent-entries was dead code, the only time it could be triggered was that the hash mapped an index to a thing other than an `i-subst?` or similar, but that cannot happen because thats all the hash maps to.