The type cannot be converted to LUKS1 if there is an unbound keyslot. It is already covered by digest count check, but in some specific use cases the explicit check can catch a new problem.