unify_ty

rapx::analysis::core::api_dependency::mono

Function unify_ty 

Source 
fn unify_ty<'tcx>(
    lhs: Ty<'tcx>,
    rhs: Ty<'tcx>,
    identity: &[GenericArg<'tcx>],
    infcx: &InferCtxt<'tcx>,
    cause: &ObligationCause<'tcx>,
    param_env: ParamEnv<'tcx>,
) -> Option<Mono<'tcx>>
Expand description

try to unfiy lhs = rhs, e.g., try_unify(Vec, Vec, …) = Some(i32) try_unify(Vec, i32, …) = None