Fixes T8323. See that task for a description.

We were using nonempty(), but that rule doesn't cover synthetic deletions (file present in an earlier diff, but no longer present in the later diff).

Followed the steps in T8323, got a clean comment.