fn lower_ty_var(var: &Var) -> RcType {
    match *var {
        Var::Bound(Named { ref name, .. }) => {
            Type::Path(Path::new(name.to_string()), vec![]).into()
        }
        Var::Free(_) => unimplemented!(),
    }
}
/// Lower a type variable to an IR type
Lower a type variable to an IR type
Lower a type variable to an IR type
fn lower_ty_var(var: &Var) -> RcType {
    match *var {
        Var::Bound(Named { ref name, .. }) => {
            Type::Path(Path::new(name.to_string()), vec![]).into()
        }
        Var::Free(_) => unimplemented!(),
    }
}
fn lower_ty_var ( var : & Var ) -> RcType { match * var { Var :: Bound ( Named { ref name , .. } ) => { Type :: Path ( Path :: new ( name . to_string ( ) ) , vec ! [ ] ) . into ( ) } Var :: Free ( _ ) => unimplemented ! ( ) , } }
Lower a type variable to an IR type
Lower a type variable to an IR type
var
&Var
var
&Var