#[derive(AdtInto)]
{
// Attributes available to this derive:
#[map]
#[from]
#[custom_arm]
#[disable_mapping]
#[use_field]
#[prepend]
#[append]
#[args]
#[todo]
#[not_in_source]
#[value]
}
#[derive(AdtInto)]
{
// Attributes available to this derive:
#[map]
#[from]
#[custom_arm]
#[disable_mapping]
#[use_field]
#[prepend]
#[append]
#[args]
#[todo]
#[not_in_source]
#[value]
}