We want to deprecate the ZeroInt type with a warning level for using the Zero type instead.
For facilitating migrations, it could be interesting to give automatic replacements to declarations of the ZeroInt type.
🔗 Dependencies
This issue is blocked by the following items:
[ ] #707
✅ Checklist
[ ] 🗑️ Deprecate the ZeroInt.toInt() method for using the Zero.toInt() method instead.
[ ] 🗑️ Deprecate the ZeroInt.toString() method for using the Zero.toString() method instead.
[ ] 🗑️ Deprecate the ZeroInt type.
[ ] 📝 Update the unreleased changelog for this issue.
📝 Description
We want to deprecate the
ZeroInttype with a warning level for using theZerotype instead. For facilitating migrations, it could be interesting to give automatic replacements to declarations of theZeroInttype.🔗 Dependencies
This issue is blocked by the following items:
✅ Checklist
ZeroInt.toInt()method for using theZero.toInt()method instead.ZeroInt.toString()method for using theZero.toString()method instead.ZeroInttype.