Attribute Macro sum 

#[sum]

collects all returned values in exit branches of the function, into an enum type, returning an impl trait

#Examples

#[sum]
fn f( cond: bool ) -> impl Clone {
    if cond {
        #[variant] 1_i32
    } else {
        #[variant] "false"
    }
}