Module suggestions 

Re-exports

use std::borrow::Cow; 🔒

use std::path::PathBuf; 🔒

use std::debug_assert_matches; 🔒

use std::iter; 🔒

use itertools::EitherOrBoth; 🔒

use itertools::Itertools; 🔒

use rustc_attr_ir::lang_items; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_errors::Applicability; 🔒

use rustc_errors::Diag; 🔒

use rustc_errors::MultiSpan; 🔒

use rustc_errors::Style; 🔒

use rustc_errors::SuggestionStyle; 🔒

use rustc_errors::pluralize; 🔒

use rustc_errors::struct_span_code_err; 🔒

use rustc_hir::def::CtorKind; 🔒

use rustc_hir::def::CtorOf; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def::Res; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::intravisit::Visitor; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::AmbigArg; 🔒

use rustc_hir::CoroutineDesugaring; 🔒

use rustc_hir::CoroutineKind; 🔒

use rustc_hir::CoroutineSource; 🔒

use rustc_hir::Expr; 🔒

use rustc_hir::HirId; 🔒

use rustc_hir::Node; 🔒

use rustc_hir::expr_needs_parens; 🔒

use rustc_infer::infer::BoundRegionConversionTime; 🔒

use rustc_infer::infer::DefineOpaqueTypes; 🔒

use rustc_infer::infer::InferCtxt; 🔒

use rustc_infer::infer::InferOk; 🔒

use rustc_infer::traits::ImplSource; 🔒

use rustc_middle::middle::privacy::Level; 🔒

use rustc_middle::traits::IsConstable; 🔒

use rustc_middle::ty::adjustment::Adjust; 🔒

use rustc_middle::ty::adjustment::DerefAdjustKind; 🔒

use rustc_middle::ty::error::TypeError; 🔒

use rustc_middle::ty::print::PrintPolyTraitClauseExt as _; 🔒

use rustc_middle::ty::print::PrintPolyTraitRefExt; 🔒

use rustc_middle::ty::print::PrintTraitClauseExt as _; 🔒

use rustc_middle::ty::print::PrintTraitRefExt as _; 🔒

use rustc_middle::ty::print::with_forced_trimmed_paths; 🔒

use rustc_middle::ty::print::with_forced_trimmed_paths; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty::print::with_types_for_suggestion; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::AdtKind; 🔒

use rustc_middle::ty::CallerBoundsIterator; 🔒

use rustc_middle::ty::GenericArgs; 🔒

use rustc_middle::ty::InferTy; 🔒

use rustc_middle::ty::IsSuggestable; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::TypeFolder; 🔒

use rustc_middle::ty::TypeSuperFoldable; 🔒

use rustc_middle::ty::TypeSuperVisitable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::TypeVisitor; 🔒

use rustc_middle::ty::TypeckResults; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_middle::ty::Upcast; 🔒

use rustc_middle::ty::suggest_arbitrary_trait_bound; 🔒

use rustc_middle::ty::suggest_constraining_type_param; 🔒

use rustc_span::def_id::LocalDefId; 🔒

use rustc_span::BytePos; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::DesugaringKind; 🔒

use rustc_span::ExpnKind; 🔒

use rustc_span::Ident; 🔒

use rustc_span::MacroKind; 🔒

use rustc_span::Span; 🔒

use rustc_span::Symbol; 🔒

use rustc_span::bug; 🔒

use rustc_span::kw; 🔒

use rustc_span::span_bug; 🔒

use rustc_span::sym; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::DefIdOrName; 🔒

use super::FindExprBySpan; 🔒

use super::ImplCandidate; 🔒

use super::Obligation; 🔒

use super::ObligationCause; 🔒

use super::ObligationCauseCode; 🔒

use super::PredicateObligation; 🔒

use crate::diagnostics; 🔒

use crate::error_reporting::TypeErrCtxt; 🔒

use crate::infer::InferCtxtExt as _; 🔒

use crate::traits::query::evaluate_obligation::InferCtxtExt as _; 🔒

use crate::traits::ImplDerivedCause; 🔒

use crate::traits::NormalizeExt; 🔒

use crate::traits::ObligationCtxt; 🔒

use crate::traits::SelectionContext; 🔒

use rustc_errors::codes::*; 🔒

Structs

AwaitsVisitor 🔒

Collect all the awaited expressions within the input expression.

CoroutineData 🔒

FindTypeParam 🔒

Look for type param in an ADT being used only through a reference to confirm that suggesting param: ?Sized would be a valid constraint.

ParamFinder 🔒

Look for type parameters in predicates. We use this to identify whether a bound is suitable in on a given item.

PeeledRef 🔒

A single layer of & peeled from an expression, used by TypeErrCtxt::peel_expr_refs.

ReplaceImplTraitFolder 🔒

ReplaceImplTraitVisitor 🔒

Collect the spans that we see the generic param param_did

ReturnsVisitor

Collect all the returned expressions within the input expression. Used to point at the return spans when we want to suggest some change to them.

SelfVisitor

Collect all the paths that reference Self. Used to suggest replacing associated types with an explicit type in where clauses.

Enums

CoroutineInteriorOrUpvar

Traits

NextTypeParamName

Suggest a new type parameter name for diagnostic purposes.

Functions

get_deref_type_and_refs 🔒

get_explanation_based_on_obligation 🔒

hint_missing_borrow 🔒

Add a hint to add a missing borrow or remove an unnecessary one.

point_at_assoc_type_restriction 🔒

On impl evaluation cycles, look for Self::AssocTy restrictions in where clauses, explain they are not allowed and if possible suggest alternatives.

predicate_constraint 🔒

suggest_desugaring_async_fn_to_impl_future_in_trait

suggest_restriction

Type parameter needs more bounds. The trivial case is T where T: Bound, but it can also be an impl Trait param that needs to be decomposed to a type param for cleaner code.