Skip to main content

Module traits

rustc_trait_selection::error_reporting

Module traits 

Source

Re-exports§

use std::fmt; 🔒
use std::iter; 🔒
use rustc_attr_ir::lang_items::LangItem; 🔒
use rustc_crate_store::ExternCrate; 🔒
use rustc_crate_store::ExternCrateSource; 🔒
use rustc_data_structures::fx::FxIndexMap; 🔒
use rustc_data_structures::fx::FxIndexSet; 🔒
use rustc_data_structures::unord::UnordSet; 🔒
use rustc_errors::Applicability; 🔒
use rustc_errors::Diag; 🔒
use rustc_errors::E0038; 🔒
use rustc_errors::E0276; 🔒
use rustc_errors::MultiSpan; 🔒
use rustc_errors::struct_span_code_err; 🔒
use rustc_hir::def_id::DefId; 🔒
use rustc_hir::def_id::LOCAL_CRATE; 🔒
use rustc_hir::def_id::LocalDefId; 🔒
use rustc_hir::intravisit::Visitor; 🔒
use rustc_hir as hir; 🔒
use rustc_hir::AmbigArg; 🔒
use rustc_infer::traits::solve::Goal; 🔒
use rustc_infer::traits::DynCompatibilityViolation; 🔒
use rustc_infer::traits::Obligation; 🔒
use rustc_infer::traits::ObligationCause; 🔒
use rustc_infer::traits::ObligationCauseCode; 🔒
use rustc_infer::traits::PredicateObligation; 🔒
use rustc_infer::traits::SelectionError; 🔒
use rustc_middle::ty::print::PrintTraitRefExt as _; 🔒
use rustc_middle::ty::print::with_no_trimmed_paths; 🔒
use rustc_middle::ty::print::with_no_trimmed_paths; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::Ty; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_middle::ty::TypeVisitableExt as _; 🔒
use rustc_next_trait_solver::solve::TyOrConstInferVar; 🔒
use rustc_span::DesugaringKind; 🔒
use rustc_span::ErrorGuaranteed; 🔒
use rustc_span::ExpnKind; 🔒
use rustc_span::Span; 🔒
use thin_vec::ThinVec; 🔒
use tracing::info; 🔒
use tracing::instrument; 🔒
use tracing::instrument; 🔒
use crate::error_reporting::TypeErrCtxt; 🔒
use crate::traits::FulfillmentError; 🔒
use crate::traits::FulfillmentErrorCode; 🔒

Modules§

ambiguity
call_kind
Common logic for borrowck use-after-move errors when moved into a fn(self), as well as errors when attempting to call a non-const function in a const context.
fulfillment_errors
on_unimplemented
overflow 🔒
suggestions

Structs§

FindExprBySpan
Crude way of getting back an Expr from a Span.
ImplCandidate

Enums§

ArgKind
Summarizes information
CandidateSimilarity
DefIdOrName
GetSafeTransmuteErrorAndReason 🔒
OverflowCause

Functions§

attempt_dyn_to_enum_suggestion 🔒
Attempt to suggest converting the dyn Trait argument to an enumeration over the types that implement Trait.
attempt_dyn_to_impl_suggestion 🔒
Attempt to suggest that a dyn Trait argument or return type be converted to use impl Trait.
report_dyn_incompatibility
suggest_new_overflow_limit
to_pretty_impl_header 🔒
Recovers the “impl X for Y” signature from impl_def_id and returns it as a string.