Module rustc_borrowck::diagnostics::conflict_errors

Structs

Given a set of spans representing statements initializing the relevant binding, visit all the function expressions looking for branching code paths that do not initialize the binding.

ExpressionFinder 🔒

FakeReadCauseFinder 🔒

LetVisitor 🔒

MoveSite 🔒

NestedStatementVisitor 🔒

We check that there’s a single level of block nesting to ensure always correct suggestions. If we don’t, then we only provide a free-form message to avoid misleading users in cases like src/test/ui/nll/borrowed-temporary-error.rs. We could expand the analysis to suggest hoising all of the relevant parts of the users’ code to make the code compile, but that could be too much.

ReferencedStatementsVisitor 🔒

Detect whether one of the provided spans is a statement nested within the top-most visited expr

Enums

AnnotatedBorrowFnSignature 🔒

StorageDeadOrDrop 🔒

Which case a StorageDeadOrDrop is for.

Statics

CALLSITE 🔒

META 🔒

Functions

predecessor_locations 🔒

Opaque Types

🔒