/// Check if two types match.
Check if two types match.
Check if two types match .
fn are_types_matching(a: &Ty, b: &Ty) -> bool {
    match (a, b) {
        (&Ty::Named(_, ia), &Ty::Named(_, ib)) => ia == ib,
        (a, b) => a == b,
    }
}
fn are_types_matching ( a : & Ty , b : & Ty ) -> bool { match ( a , b ) { ( & Ty :: Named ( _ , ia ) , & Ty :: Named ( _ , ib ) ) => ia == ib , ( a , b ) => a == b , } }
Check if two types match.
Check if two types match .
a
&Ty
b
&Ty