Getting the default value of a class member field

[kinke]

On Friday, 2 December 2022 at 04:14:37 UTC, kinke wrote:
> [...]
> Such an instance should be CTFE-constructible, and the valid 
> instance would feature the expected value for the `validUntil` 
> field. [...]

Oh well, that time-sensitive example clearly isn't CTFE-able. :D 
- If that's the primary use case for these `@constructValue` 
UDAs, then yeah, this makes things more complicated.