`DefId` already derives from `Eq`