Check default value existence for transient fields in derive macro

[987Nabil]

Since schemas only consider constructor arguments, every field that is marked as transient without having a default value is basically a bug, since codecs can't create these values.

The idea would be, to check in the derive macros if there is a default value (either via the schema for the field or the fieldDefaultValue annotation) and throw an error if there is none. This would make is user error compile time.

The only use case I can think of that this might not be nice for are write only schemas that did not need a default value before, but would need one after this change. But I would consider this a good trade off.

[jdegoes]

/bounty $75

[algora-pbc]

💎 $75 bounty • ZIO

Steps to solve:

1. Start working: Comment /attempt #654 with your implementation plan
2. Submit work: Create a pull request including /claim #654 in the PR body to claim the bounty
3. Receive payment: 100% of the bounty is received 2-5 days post-reward. Make sure you are eligible for payouts

Thank you for contributing to zio/zio-schema!

Add a bounty • Share on socials

Attempt	Started (GMT+0)	Solution
🔴 @manishwin	Jun 21, 2024, 6:39:56 AM	WIP
🟢 @987Nabil		#708

[algora-pbc]

@manishwin: Reminder that in 7 days the bounty will become up for grabs, so please submit a pull request before then 🙏

[algora-pbc]

💡 @987Nabil submitted a pull request that claims the bounty. You can visit your bounty board to reward.

[algora-pbc]

The bounty is up for grabs! Everyone is welcome to /attempt #654 🙌

[algora-pbc]

🎉🎈 @987Nabil has been awarded $75! 🎈🎊

• Share on socials
• Give feedback