bugged_polyrec.rs

enum Weird<A> {
    Leaf(A),
    Node(Box<Weird<(u8,A)>>)
}

fn traversal<A>(weird: &Weird<A>) {
    match weird {
        Weird::Leaf(_) =>
            println!("Leaf"),
        Weird::Node(b) => {
            println!("Node");
            traversal::<(u8,A)>(b)
        }
    }
}

fn main() {
    let w0: Weird<u8> = Weird::Leaf(0);
    traversal(&w0)
}