Trait rustc_trait_selection::traits::error_reporting::InferCtxtPrivExt[−][src]

trait InferCtxtPrivExt<'tcx> {

Show 17 methods    fn error_implies(
        &self, 
        cond: Predicate<'tcx>, 
        error: Predicate<'tcx>
    ) -> bool;

    fn report_fulfillment_error(
        &self, 
        error: &FulfillmentError<'tcx>, 
        body_id: Option<BodyId>, 
        fallback_has_occurred: bool
    );

    fn report_projection_error(
        &self, 
        obligation: &PredicateObligation<'tcx>, 
        error: &MismatchedProjectionTypes<'tcx>
    );

    fn fuzzy_match_tys(&self, a: Ty<'tcx>, b: Ty<'tcx>) -> bool;

    fn describe_generator(&self, body_id: BodyId) -> Option<&'static str>;

    fn find_similar_impl_candidates(
        &self, 
        trait_ref: PolyTraitRef<'tcx>
    ) -> Vec<TraitRef<'tcx>>;

    fn report_similar_impl_candidates(
        &self, 
        impl_candidates: Vec<TraitRef<'tcx>>, 
        err: &mut DiagnosticBuilder<'_>
    );

    fn get_parent_trait_ref(
        &self, 
        code: &ObligationCauseCode<'tcx>
    ) -> Option<(String, Option<Span>)>;

    fn note_version_mismatch(
        &self, 
        err: &mut DiagnosticBuilder<'_>, 
        trait_ref: &PolyTraitRef<'tcx>
    );

    fn mk_trait_obligation_with_new_self_ty(
        &self, 
        param_env: ParamEnv<'tcx>, 
        trait_ref: PolyTraitRef<'tcx>, 
        new_self_ty: Ty<'tcx>
    ) -> PredicateObligation<'tcx>;

    fn maybe_report_ambiguity(
        &self, 
        obligation: &PredicateObligation<'tcx>, 
        body_id: Option<BodyId>
    );

    fn predicate_can_apply(
        &self, 
        param_env: ParamEnv<'tcx>, 
        pred: PolyTraitRef<'tcx>
    ) -> bool;

    fn note_obligation_cause(
        &self, 
        err: &mut DiagnosticBuilder<'tcx>, 
        obligation: &PredicateObligation<'tcx>
    );

    fn suggest_unsized_bound_if_applicable(
        &self, 
        err: &mut DiagnosticBuilder<'tcx>, 
        obligation: &PredicateObligation<'tcx>
    );

    fn maybe_suggest_unsized_generics<'hir>(
        &self, 
        err: &mut DiagnosticBuilder<'tcx>, 
        span: Span, 
        node: Node<'hir>
    );

    fn maybe_indirection_for_unsized<'hir>(
        &self, 
        err: &mut DiagnosticBuilder<'tcx>, 
        item: &'hir Item<'hir>, 
        param: &'hir GenericParam<'hir>
    ) -> bool;

    fn is_recursive_obligation(
        &self, 
        obligated_types: &mut Vec<&TyS<'tcx>>, 
        cause_code: &ObligationCauseCode<'tcx>
    ) -> bool;

}

Required methods

Gets the parent trait chain start

If the Self type of the unsatisfied trait trait_ref implements a trait with the same path as trait_ref, a help message about a probable version mismatch is added to err

Creates a PredicateObligation with new_self_ty replacing the existing type in the trait_ref.

For this to work, new_self_ty must have no escaping bound variables.

Implementors