Function gluon_check::unify_type::subsumes_implicit
source · pub fn subsumes_implicit(
subs: &Substitution<RcType>,
state: State<'_>,
l: &RcType,
r: &RcType,
receiver: &mut dyn FnMut(&RcType)
) -> Result<RcType, (RcType, Errors<Error<Symbol>>)>