Re-exports§
use rustc_data_structures::fx::FxHashSet;🔒use rustc_data_structures::fx::FxIndexSet;🔒use rustc_errors::formatting::DiagMessageAddArg;🔒use rustc_errors::Applicability;🔒use rustc_errors::Diag;🔒use rustc_errors::DiagCtxtHandle;🔒use rustc_errors::DiagMessage;🔒use rustc_errors::DiagStyledString;🔒use rustc_errors::Diagnostic;🔒use rustc_errors::IntoDiagArg;🔒use rustc_errors::Level;🔒use rustc_errors::MultiSpan;🔒use rustc_errors::Subdiagnostic;🔒use rustc_errors::msg;🔒use rustc_hir::def::DefKind;🔒use rustc_hir::def_id::DefId;🔒use rustc_hir::def_id::LocalDefId;🔒use rustc_hir::intravisit::Visitor;🔒use rustc_hir::intravisit::walk_ty;🔒use rustc_hir as hir;🔒use rustc_hir::AmbigArg;🔒use rustc_hir::FnRetTy;🔒use rustc_hir::GenericParamKind;🔒use rustc_hir::Node;🔒use rustc_macros::Diagnostic;🔒use rustc_macros::Subdiagnostic;🔒use rustc_middle::ty::print::PrintTraitRefExt as _;🔒use rustc_middle::ty::print::TraitRefPrintOnlyTraitPath;🔒use rustc_middle::ty;🔒use rustc_middle::ty::Binder;🔒use rustc_middle::ty::ClosureKind;🔒use rustc_middle::ty::FnSig;🔒use rustc_middle::ty::GenericArg;🔒use rustc_middle::ty::Region;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_span::BytePos;🔒use rustc_span::Ident;🔒use rustc_span::Span;🔒use rustc_span::Symbol;🔒use rustc_span::kw;🔒use rustc_span::sym;🔒use crate::error_reporting::infer::ObligationCauseAsDiagArg;🔒use crate::error_reporting::infer::need_type_info::UnderspecifiedArgKind;🔒use crate::error_reporting::infer::nice_region_error::placeholder_error::Highlighted;🔒use rustc_errors::codes::*;🔒
Modules§
Structs§
- AddLifetime
Params 🔒Suggestion - AddPrecise
Capturing 🔒AndName Lifetimes - AddPrecise
Capturing 🔒AndParams - AddPrecise
Capturing ForOvercapture - AddPrecise
Capturing 🔒Name Lifetimes AndParams - Ambiguous
Impl 🔒 - Ambiguous
Return 🔒 - Annotation
Required 🔒 - Assoc
Type With Same Name - ButNeeds
ToSatisfy 🔒 - Closure
FnMut 🔒Label - Closure
FnOnce 🔒Label - Closure
Kind 🔒Mismatch - Consider
Borrowing 🔒Param Help - Coro
Closure 🔒NotFn - FnConsider
Casting 🔒 - FnConsider
Casting 🔒Both - FnItems
AreDistinct 🔒 - FnUniq
Types 🔒 - Fulfill
ReqLifetime 🔒 - Inference
BadError 🔒 - Inherent
Projection 🔒Normalization Overflow - Introduces
Static 🔒Because Unmet Lifetime Req - LfBound
NotSatisfied 🔒 - Lifetime
Mismatch 🔒 - Mismatched
Static 🔒Lifetime - Negative
Positive 🔒Conflict - NonGeneric
Opaque 🔒Type Param - Opaque
Captures 🔒Lifetime - Outlives
Bound 🔒 - Outlives
Content 🔒 - RefLonger
Than 🔒Data - Suggest
Tuple 🔒Pattern Many - Suggest
Tuple 🔒Pattern One - Trait
Impl 🔒Diff - Trait
Placeholder 🔒Mismatch - Unable
ToConstruct 🔒Constant Value
Enums§
- Actual
Impl 🔒Expected Kind - Actual
Impl 🔒Expected Lifetime Kind - Actual
Impl 🔒Expl Notes - AddPrecise
Capturing 🔒 - Adjust
Signature 🔒Borrow - Consider
Adding 🔒Await - Does
NotOutlive 🔒Static From Impl - Explicit
Lifetime 🔒Required - Function
Pointer 🔒Suggestion - Implicit
Static 🔒Lifetime Subdiag - Lifetime
Mismatch 🔒Labels - Obligation
Cause Failure Code - Placeholder
Relation 🔒LfNot Satisfied - Region
Origin 🔒Note - Source
Kind 🔒Subdiag - Specify
Generic 🔒Params Suggestion - Suggestion to specify generic parameter(s) via
::<>. - Suggest
Accessing 🔒Field - Suggest
Remove 🔒Semi OrReturn Binding - TyOrSig 🔒
- Type
Error Additional Diags - Where
Clause 🔒Suggestions
Functions§
- impl_
trait_ overcapture_ suggestion - Given a set of captured
DefIdfor an RPIT (opaque_def_id) and a given function (fn_def_id), try to suggest adding+ use<...>to capture just the specified parameters. If one of those parameters is an APIT, then try to suggest turning it into a regular type parameter.