trait InferCtxtPrivExt<'tcx> {
Show 31 methods // Required methods fn error_implies( &self, cond: Predicate<'tcx>, error: Predicate<'tcx> ) -> bool; fn report_fulfillment_error(&self, error: &FulfillmentError<'tcx>); fn report_projection_error( &self, obligation: &PredicateObligation<'tcx>, error: &MismatchedProjectionTypes<'tcx> ); fn maybe_detailed_projection_msg( &self, pred: ProjectionPredicate<'tcx>, normalized_ty: Term<'tcx>, expected_ty: Term<'tcx> ) -> Option<String>; fn fuzzy_match_tys( &self, a: Ty<'tcx>, b: Ty<'tcx>, ignoring_lifetimes: bool ) -> Option<CandidateSimilarity>; fn describe_generator(&self, body_id: BodyId) -> Option<&'static str>; fn find_similar_impl_candidates( &self, trait_pred: PolyTraitPredicate<'tcx> ) -> Vec<ImplCandidate<'tcx>>; fn report_similar_impl_candidates( &self, impl_candidates: &[ImplCandidate<'tcx>], trait_ref: PolyTraitRef<'tcx>, body_def_id: LocalDefId, err: &mut Diagnostic, other: bool, param_env: ParamEnv<'tcx> ) -> bool; fn report_similar_impl_candidates_for_root_obligation( &self, obligation: &PredicateObligation<'tcx>, trait_predicate: Binder<'tcx, TraitPredicate<'tcx>>, body_def_id: LocalDefId, err: &mut Diagnostic ); fn get_parent_trait_ref( &self, code: &ObligationCauseCode<'tcx> ) -> Option<(String, Option<Span>)>; fn note_version_mismatch( &self, err: &mut Diagnostic, trait_ref: &PolyTraitRef<'tcx> ) -> bool; fn mk_trait_obligation_with_new_self_ty( &self, param_env: ParamEnv<'tcx>, trait_ref_and_ty: Binder<'tcx, (TraitPredicate<'tcx>, Ty<'tcx>)> ) -> PredicateObligation<'tcx>; fn maybe_report_ambiguity(&self, obligation: &PredicateObligation<'tcx>); fn predicate_can_apply( &self, param_env: ParamEnv<'tcx>, pred: PolyTraitPredicate<'tcx> ) -> bool; fn note_obligation_cause( &self, err: &mut Diagnostic, obligation: &PredicateObligation<'tcx> ); fn suggest_unsized_bound_if_applicable( &self, err: &mut Diagnostic, obligation: &PredicateObligation<'tcx> ); fn annotate_source_of_ambiguity( &self, err: &mut Diagnostic, impls: &[Ambiguity], predicate: Predicate<'tcx> ); fn maybe_suggest_unsized_generics( &self, err: &mut Diagnostic, span: Span, node: Node<'tcx> ); fn maybe_indirection_for_unsized( &self, err: &mut Diagnostic, item: &'tcx Item<'tcx>, param: &'tcx GenericParam<'tcx> ) -> bool; fn is_recursive_obligation( &self, obligated_types: &mut Vec<Ty<'tcx>>, cause_code: &ObligationCauseCode<'tcx> ) -> bool; fn get_standard_error_message( &self, trait_predicate: &PolyTraitPredicate<'tcx>, message: Option<String>, predicate_is_const: bool, append_const_msg: Option<AppendConstMessage>, post_message: String ) -> String; fn get_safe_transmute_error_and_reason( &self, obligation: PredicateObligation<'tcx>, trait_ref: PolyTraitRef<'tcx>, span: Span ) -> GetSafeTransmuteErrorAndReason; fn add_tuple_trait_message( &self, obligation_cause_code: &ObligationCauseCode<'tcx>, err: &mut Diagnostic ); fn try_to_add_help_message( &self, obligation: &PredicateObligation<'tcx>, trait_ref: PolyTraitRef<'tcx>, trait_predicate: &PolyTraitPredicate<'tcx>, err: &mut Diagnostic, span: Span, is_fn_trait: bool, suggested: bool, unsatisfied_const: bool ); fn add_help_message_for_fn_trait( &self, trait_ref: PolyTraitRef<'tcx>, err: &mut Diagnostic, implemented_kind: ClosureKind, params: Binder<'tcx, Ty<'tcx>> ); fn maybe_add_note_for_unsatisfied_const( &self, obligation: &PredicateObligation<'tcx>, trait_ref: PolyTraitRef<'tcx>, trait_predicate: &PolyTraitPredicate<'tcx>, err: &mut Diagnostic, span: Span ) -> UnsatisfiedConst; fn report_closure_error( &self, obligation: &PredicateObligation<'tcx>, closure_def_id: DefId, found_kind: ClosureKind, kind: ClosureKind ) -> DiagnosticBuilder<'tcx, ErrorGuaranteed>; fn report_type_parameter_mismatch_cyclic_type_error( &self, obligation: &PredicateObligation<'tcx>, found_trait_ref: Binder<'tcx, TraitRef<'tcx>>, expected_trait_ref: Binder<'tcx, TraitRef<'tcx>>, terr: TypeError<'tcx> ) -> DiagnosticBuilder<'tcx, ErrorGuaranteed>; fn report_opaque_type_auto_trait_leakage( &self, obligation: &PredicateObligation<'tcx>, def_id: DefId ) -> DiagnosticBuilder<'tcx, ErrorGuaranteed>; fn report_type_parameter_mismatch_error( &self, obligation: &PredicateObligation<'tcx>, span: Span, found_trait_ref: Binder<'tcx, TraitRef<'tcx>>, expected_trait_ref: Binder<'tcx, TraitRef<'tcx>> ) -> Option<DiagnosticBuilder<'tcx, ErrorGuaranteed>>; fn report_not_const_evaluatable_error( &self, obligation: &PredicateObligation<'tcx>, span: Span ) -> Option<DiagnosticBuilder<'tcx, ErrorGuaranteed>>;
}

Required Methods§

source

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

source

fn report_fulfillment_error(&self, error: &FulfillmentError<'tcx>)

source

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

source

fn maybe_detailed_projection_msg( &self, pred: ProjectionPredicate<'tcx>, normalized_ty: Term<'tcx>, expected_ty: Term<'tcx> ) -> Option<String>

source

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

source

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

source

fn find_similar_impl_candidates( &self, trait_pred: PolyTraitPredicate<'tcx> ) -> Vec<ImplCandidate<'tcx>>

source

fn report_similar_impl_candidates( &self, impl_candidates: &[ImplCandidate<'tcx>], trait_ref: PolyTraitRef<'tcx>, body_def_id: LocalDefId, err: &mut Diagnostic, other: bool, param_env: ParamEnv<'tcx> ) -> bool

source

fn report_similar_impl_candidates_for_root_obligation( &self, obligation: &PredicateObligation<'tcx>, trait_predicate: Binder<'tcx, TraitPredicate<'tcx>>, body_def_id: LocalDefId, err: &mut Diagnostic )

source

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

Gets the parent trait chain start

source

fn note_version_mismatch( &self, err: &mut Diagnostic, trait_ref: &PolyTraitRef<'tcx> ) -> bool

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

source

fn mk_trait_obligation_with_new_self_ty( &self, param_env: ParamEnv<'tcx>, trait_ref_and_ty: Binder<'tcx, (TraitPredicate<'tcx>, Ty<'tcx>)> ) -> PredicateObligation<'tcx>

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.

source

fn maybe_report_ambiguity(&self, obligation: &PredicateObligation<'tcx>)

source

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

source

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

source

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

source

fn annotate_source_of_ambiguity( &self, err: &mut Diagnostic, impls: &[Ambiguity], predicate: Predicate<'tcx> )

source

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

source

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

source

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

source

fn get_standard_error_message( &self, trait_predicate: &PolyTraitPredicate<'tcx>, message: Option<String>, predicate_is_const: bool, append_const_msg: Option<AppendConstMessage>, post_message: String ) -> String

source

fn get_safe_transmute_error_and_reason( &self, obligation: PredicateObligation<'tcx>, trait_ref: PolyTraitRef<'tcx>, span: Span ) -> GetSafeTransmuteErrorAndReason

source

fn add_tuple_trait_message( &self, obligation_cause_code: &ObligationCauseCode<'tcx>, err: &mut Diagnostic )

source

fn try_to_add_help_message( &self, obligation: &PredicateObligation<'tcx>, trait_ref: PolyTraitRef<'tcx>, trait_predicate: &PolyTraitPredicate<'tcx>, err: &mut Diagnostic, span: Span, is_fn_trait: bool, suggested: bool, unsatisfied_const: bool )

source

fn add_help_message_for_fn_trait( &self, trait_ref: PolyTraitRef<'tcx>, err: &mut Diagnostic, implemented_kind: ClosureKind, params: Binder<'tcx, Ty<'tcx>> )

source

fn maybe_add_note_for_unsatisfied_const( &self, obligation: &PredicateObligation<'tcx>, trait_ref: PolyTraitRef<'tcx>, trait_predicate: &PolyTraitPredicate<'tcx>, err: &mut Diagnostic, span: Span ) -> UnsatisfiedConst

source

fn report_closure_error( &self, obligation: &PredicateObligation<'tcx>, closure_def_id: DefId, found_kind: ClosureKind, kind: ClosureKind ) -> DiagnosticBuilder<'tcx, ErrorGuaranteed>

source

fn report_type_parameter_mismatch_cyclic_type_error( &self, obligation: &PredicateObligation<'tcx>, found_trait_ref: Binder<'tcx, TraitRef<'tcx>>, expected_trait_ref: Binder<'tcx, TraitRef<'tcx>>, terr: TypeError<'tcx> ) -> DiagnosticBuilder<'tcx, ErrorGuaranteed>

source

fn report_opaque_type_auto_trait_leakage( &self, obligation: &PredicateObligation<'tcx>, def_id: DefId ) -> DiagnosticBuilder<'tcx, ErrorGuaranteed>

source

fn report_type_parameter_mismatch_error( &self, obligation: &PredicateObligation<'tcx>, span: Span, found_trait_ref: Binder<'tcx, TraitRef<'tcx>>, expected_trait_ref: Binder<'tcx, TraitRef<'tcx>> ) -> Option<DiagnosticBuilder<'tcx, ErrorGuaranteed>>

source

fn report_not_const_evaluatable_error( &self, obligation: &PredicateObligation<'tcx>, span: Span ) -> Option<DiagnosticBuilder<'tcx, ErrorGuaranteed>>

Implementors§

source§

impl<'tcx> InferCtxtPrivExt<'tcx> for TypeErrCtxt<'_, 'tcx>