Idea: Type match in Rust

gistfile1.rs

/// Returns true if T is int, otherwise false.
fn is_int<T: Num>(num: T) -> bool {
    match <T> {
        int => true,
        _ => false,
    }
}

/// Returns true if T impls Clone.
fn is_clone(val: T) -> bool {
    match <T> {
        <Clone> => true,
        _ => false,
    }
}

/// Returns true if both arguments impls Clone.
fn both_does_clone<T, U>(a: T, b: U) -> bool {
    match <T, U> {
        <Clone, Clone> => true,
        _ = > false
    }
}