Set default per type about educe

[jayvdb]

@magiclen, could I get your thoughts on this? I'm not great at macros, but I could take a crack at this if it is likely to get merged if I get it working.

[magiclen]

I'm not sure what you mean but for now I think you can just use

#[derive(Clone, Debug, Educe)]
#[educe(Default)]
pub struct Ipv4Range {
    #[educe(Default(expression = "[0, 0, 0, 0].into()"))]
    pub first: std::net::Ipv4Addr,
    #[educe(Default(expression = "[255, 255, 255, 255].into()"))]
    pub last: std::net::Ipv4Addr,
}

[jayvdb]

I am aware I can do that, but I was hoping to avoid having to modify the code generation of the members to add this to every member. It is easier if I can tell educe at the struct level macro invocation that "when it sees any "Ipv4Addr" member, here is the value it should use as the default".

[magiclen]

Okay, I see.

I have a question. How can you tell Ipv4Addr are the same struct or not? If the code is like this,

mod a {
    pub struct Ipv4Addr(u32);
}

struct Ipv4Addr;

#[derive(Clone, Debug)]
#[educe(Default(literals = (Ipv4Addr = [0,0,0,0], Ipv6Addr = [0,0,0,0,...])))]
pub struct Ipv4Range {
    #[educe(Default)]
    pub first: std::net::Ipv4Addr,
    pub last: Ipv4Addr,
}

[jayvdb]

I am doing codegen of the structs, so I know what types the members can be, and cant be. c.f. oxidecomputer/typify#184