Function rustc_trait_selection::traits::query::type_op::ascribe_user_type::relate_mir_and_user_substs

fn relate_mir_and_user_substs<'tcx>(
    ocx: &ObligationCtxt<'_, 'tcx>,
    param_env: ParamEnv<'tcx>,
    span: Span,
    mir_ty: Ty<'tcx>,
    def_id: DefId,
    user_substs: UserSubsts<'tcx>
) -> Result<(), NoSolution>