Function gluon_check::unify_type::subsumes_no_subst

pub fn subsumes_no_subst(
    state: State, 
    l: &RcType, 
    r: &RcType
) -> Result<RcType, (RcType, Errors<Error<Symbol>>)>