[][src]Struct rustc_mir::borrow_check::MirBorrowckCtxt

pub(crate) struct MirBorrowckCtxt<'cx, 'tcx> {
    pub(crate) infcx: &'cx InferCtxt<'cx, 'tcx>,
    param_env: ParamEnv<'tcx>,
    body: &'cx Body<'tcx>,
    move_data: &'cx MoveData<'tcx>,
    location_table: &'cx LocationTable,
    movable_generator: bool,
    locals_are_invalidated_at_exit: bool,
    access_place_error_reported: FxHashSet<(Place<'tcx>, Span)>,
    reservation_error_reported: FxHashSet<Place<'tcx>>,
    fn_self_span_reported: FxHashSet<Span>,
    reservation_warnings: FxHashMap<BorrowIndex, (Place<'tcx>, Span, Location, BorrowKind, BorrowData<'tcx>)>,
    move_error_reported: BTreeMap<Vec<MoveOutIndex>, (PlaceRef<'tcx>, DiagnosticBuilder<'cx>)>,
    uninitialized_error_reported: FxHashSet<PlaceRef<'tcx>>,
    errors_buffer: Vec<Diagnostic>,
    used_mut: FxHashSet<Local>,
    used_mut_upvars: SmallVec<[Field; 8]>,
    regioncx: Rc<RegionInferenceContext<'tcx>>,
    borrow_set: Rc<BorrowSet<'tcx>>,
    dominators: Dominators<BasicBlock>,
    upvars: Vec<Upvar>,
    local_names: IndexVec<Local, Option<Symbol>>,
    region_names: RefCell<FxHashMap<RegionVid, RegionName>>,
    next_region_name: RefCell<usize>,
    polonius_output: Option<Rc<Output<RustcFacts>>>,
}

Fields

infcx: &'cx InferCtxt<'cx, 'tcx>param_env: ParamEnv<'tcx>body: &'cx Body<'tcx>move_data: &'cx MoveData<'tcx>location_table: &'cx LocationTable

Map from MIR Location to LocationIndex; created when MIR borrowck begins.

movable_generator: boollocals_are_invalidated_at_exit: bool

This keeps track of whether local variables are free-ed when the function exits even without a StorageDead, which appears to be the case for constants.

I'm not sure this is the right approach - @eddyb could you try and figure this out?

access_place_error_reported: FxHashSet<(Place<'tcx>, Span)>

This field keeps track of when borrow errors are reported in the access_place function so that there is no duplicate reporting. This field cannot also be used for the conflicting borrow errors that is handled by the reservation_error_reported field as the inclusion of the Span type (while required to mute some errors) stops the muting of the reservation errors.

reservation_error_reported: FxHashSet<Place<'tcx>>

This field keeps track of when borrow conflict errors are reported for reservations, so that we don't report seemingly duplicate errors for corresponding activations.

fn_self_span_reported: FxHashSet<Span>

This fields keeps track of the Spans that we have used to report extra information for FnSelfUse, to avoid unnecessarily verbose errors.

reservation_warnings: FxHashMap<BorrowIndex, (Place<'tcx>, Span, Location, BorrowKind, BorrowData<'tcx>)>

Migration warnings to be reported for #56254. We delay reporting these so that we can suppress the warning if there's a corresponding error for the activation of the borrow.

move_error_reported: BTreeMap<Vec<MoveOutIndex>, (PlaceRef<'tcx>, DiagnosticBuilder<'cx>)>

This field keeps track of move errors that are to be reported for given move indices.

There are situations where many errors can be reported for a single move out (see #53807) and we want only the best of those errors.

The report_use_of_moved_or_uninitialized function checks this map and replaces the diagnostic (if there is one) if the Place of the error being reported is a prefix of the Place of the previous most diagnostic. This happens instead of buffering the error. Once all move errors have been reported, any diagnostics in this map are added to the buffer to be emitted.

BTreeMap is used to preserve the order of insertions when iterating. This is necessary when errors in the map are being re-added to the error buffer so that errors with the same primary span come out in a consistent order.

uninitialized_error_reported: FxHashSet<PlaceRef<'tcx>>

This field keeps track of errors reported in the checking of uninitialized variables, so that we don't report seemingly duplicate errors.

errors_buffer: Vec<Diagnostic>

Errors to be reported buffer

used_mut: FxHashSet<Local>

This field keeps track of all the local variables that are declared mut and are mutated. Used for the warning issued by an unused mutable local variable.

used_mut_upvars: SmallVec<[Field; 8]>

If the function we're checking is a closure, then we'll need to report back the list of mutable upvars that have been used. This field keeps track of them.

regioncx: Rc<RegionInferenceContext<'tcx>>

Region inference context. This contains the results from region inference and lets us e.g. find out which CFG points are contained in each borrow region.

borrow_set: Rc<BorrowSet<'tcx>>

The set of borrows extracted from the MIR

dominators: Dominators<BasicBlock>

Dominators for MIR

upvars: Vec<Upvar>

Information about upvars not necessarily preserved in types or MIR

local_names: IndexVec<Local, Option<Symbol>>

Names of local (user) variables (extracted from var_debug_info).

region_names: RefCell<FxHashMap<RegionVid, RegionName>>

Record the region names generated for each region in the given MIR def so that we can reuse them later in help/error messages.

next_region_name: RefCell<usize>

The counter for generating new region names.

polonius_output: Option<Rc<Output<RustcFacts>>>

Results of Polonius analysis.

Implementations

impl<'tcx, '_> MirBorrowckCtxt<'_, 'tcx>[src]

pub(crate) fn mir_def_id(&self) -> LocalDefId[src]

pub(crate) fn mir_hir_id(&self) -> HirId[src]

pub(in borrow_check::diagnostics::region_name) fn synthesize_region_name(
    &self
) -> Symbol
[src]

Generate a synthetic region named 'N, where N is the next value of the counter. Then, increment the counter.

This is not idempotent. Call give_region_a_name when possible.

pub(crate) fn give_region_a_name(&self, fr: RegionVid) -> Option<RegionName>[src]

Maps from an internal MIR region vid to something that we can report to the user. In some cases, the region vids will map directly to lifetimes that the user has a name for (e.g., 'static). But frequently they will not, in which case we have to find some way to identify the lifetime to the user. To that end, this function takes a "diagnostic" so that it can create auxiliary notes as needed.

The names are memoized, so this is both cheap to recompute and idempotent.

Example (function arguments):

Suppose we are trying to give a name to the lifetime of the reference x:

fn foo(x: &u32) { .. }

This function would create a label like this:

 | fn foo(x: &u32) { .. }
          ------- fully elaborated type of `x` is `&'1 u32`

and then return the name '1 for us to use.

pub(in borrow_check::diagnostics::region_name) fn give_name_from_error_region(
    &self,
    fr: RegionVid
) -> Option<RegionName>
[src]

Checks for the case where fr maps to something that the user has a name for. In that case, we'll be able to map fr to a Region<'tcx>, and that region will be one of named variants.

pub(in borrow_check::diagnostics::region_name) fn give_name_if_anonymous_region_appears_in_arguments(
    &self,
    fr: RegionVid
) -> Option<RegionName>
[src]

Finds an argument that contains fr and label it with a fully elaborated type, returning something like '1. Result looks like:

 | fn foo(x: &u32) { .. }
          ------- fully elaborated type of `x` is `&'1 u32`

pub(in borrow_check::diagnostics::region_name) fn get_argument_hir_ty_for_highlighting(
    &self,
    argument_index: usize
) -> Option<&Ty<'tcx>>
[src]

pub(in borrow_check::diagnostics::region_name) fn highlight_if_we_cannot_match_hir_ty(
    &self,
    needle_fr: RegionVid,
    ty: Ty<'tcx>,
    span: Span,
    counter: usize
) -> RegionNameHighlight
[src]

Attempts to highlight the specific part of a type in an argument that has no type annotation. For example, we might produce an annotation like this:

 |     foo(|a, b| b)
 |          -  -
 |          |  |
 |          |  has type `&'1 u32`
 |          has type `&'2 u32`

pub(in borrow_check::diagnostics::region_name) fn highlight_if_we_can_match_hir_ty(
    &self,
    needle_fr: RegionVid,
    ty: Ty<'tcx>,
    hir_ty: &Ty<'_>
) -> Option<RegionNameHighlight>
[src]

Attempts to highlight the specific part of a type annotation that contains the anonymous reference we want to give a name to. For example, we might produce an annotation like this:

 | fn a<T>(items: &[T]) -> Box<dyn Iterator<Item = &T>> {
 |                - let's call the lifetime of this reference `'1`

the way this works is that we match up ty, which is a Ty<'tcx> (the internal form of the type) with hir_ty, a hir::Ty (the syntax of the type annotation). We are descending through the types stepwise, looking in to find the region needle_fr in the internal type. Once we find that, we can use the span of the hir::Ty to add the highlight.

This is a somewhat imperfect process, so along the way we also keep track of the closest type we've found. If we fail to find the exact & or '_ to highlight, then we may fall back to highlighting that closest type instead.

pub(in borrow_check::diagnostics::region_name) fn match_adt_and_segment<'hir>(
    &self,
    substs: SubstsRef<'tcx>,
    needle_fr: RegionVid,
    last_segment: &'hir PathSegment<'hir>,
    search_stack: &mut Vec<(Ty<'tcx>, &'hir Ty<'hir>)>
) -> Option<RegionNameHighlight>
[src]

We've found an enum/struct/union type with the substitutions substs and -- in the HIR -- a path type with the final segment last_segment. Try to find a '_ to highlight in the generic args (or, if not, to produce new zipped pairs of types+hir to search through).

pub(in borrow_check::diagnostics::region_name) fn try_match_adt_and_generic_args<'hir>(
    &self,
    substs: SubstsRef<'tcx>,
    needle_fr: RegionVid,
    args: &'hir GenericArgs<'hir>,
    search_stack: &mut Vec<(Ty<'tcx>, &'hir Ty<'hir>)>
) -> Option<&'hir Lifetime>
[src]

We've found an enum/struct/union type with the substitutions substs and -- in the HIR -- a path with the generic arguments args. If needle_fr appears in the args, return the hir::Lifetime that corresponds to it. If not, push onto search_stack the types+hir to search through.

pub(in borrow_check::diagnostics::region_name) fn give_name_if_anonymous_region_appears_in_upvars(
    &self,
    fr: RegionVid
) -> Option<RegionName>
[src]

Finds a closure upvar that contains fr and label it with a fully elaborated type, returning something like '1. Result looks like:

 | let x = Some(&22);
       - fully elaborated type of `x` is `Option<&'1 u32>`

pub(in borrow_check::diagnostics::region_name) fn give_name_if_anonymous_region_appears_in_output(
    &self,
    fr: RegionVid
) -> Option<RegionName>
[src]

Checks for arguments appearing in the (closure) return type. It must be a closure since, in a free fn, such an argument would have to either also appear in an argument (if using elision) or be early bound (named, not in argument).

pub(in borrow_check::diagnostics::region_name) fn get_future_inner_return_ty(
    &self,
    hir_ty: &'tcx Ty<'tcx>
) -> &'tcx Ty<'tcx>
[src]

From the hir::Ty of an async function's lowered return type, retrieve the hir::Ty representing the type the user originally wrote.

e.g. given the function:

async fn foo() -> i32 {}

this function, given the lowered return type of foo, an OpaqueDef that implements Future<Output=i32>, returns the i32.

pub(in borrow_check::diagnostics::region_name) fn give_name_if_anonymous_region_appears_in_yield_ty(
    &self,
    fr: RegionVid
) -> Option<RegionName>
[src]

impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx>[src]

pub(in borrow_check) fn report_use_of_moved_or_uninitialized(
    &mut self,
    location: Location,
    desired_action: InitializationRequiringAction,
    (moved_place, used_place, span): (PlaceRef<'tcx>, PlaceRef<'tcx>, Span),
    mpi: MovePathIndex
)
[src]

pub(in borrow_check) fn report_move_out_while_borrowed(
    &mut self,
    location: Location,
    (place, span): (Place<'tcx>, Span),
    borrow: &BorrowData<'tcx>
)
[src]

pub(in borrow_check) fn report_use_while_mutably_borrowed(
    &mut self,
    location: Location,
    (place, _span): (Place<'tcx>, Span),
    borrow: &BorrowData<'tcx>
) -> DiagnosticBuilder<'cx>
[src]

pub(in borrow_check) fn report_conflicting_borrow(
    &mut self,
    location: Location,
    (place, span): (Place<'tcx>, Span),
    gen_borrow_kind: BorrowKind,
    issued_borrow: &BorrowData<'tcx>
) -> DiagnosticBuilder<'cx>
[src]

pub(in borrow_check::diagnostics::conflict_errors) fn suggest_split_at_mut_if_applicable(
    &self,
    err: &mut DiagnosticBuilder<'_>,
    place: Place<'tcx>,
    borrowed_place: Place<'tcx>
)
[src]

pub(in borrow_check) fn describe_place_for_conflicting_borrow(
    &self,
    first_borrowed_place: Place<'tcx>,
    second_borrowed_place: Place<'tcx>
) -> (String, String, String, String)
[src]

Returns the description of the root place for a conflicting borrow and the full descriptions of the places that caused the conflict.

In the simplest case, where there are no unions involved, if a mutable borrow of x is attempted while a shared borrow is live, then this function will return:

("x", "", "")

In the simple union case, if a mutable borrow of a union field x.z is attempted while a shared borrow of another field x.y, then this function will return:

("x", "x.z", "x.y")

In the more complex union case, where the union is a field of a struct, then if a mutable borrow of a union field in a struct x.u.z is attempted while a shared borrow of another field x.u.y, then this function will return:

("x.u", "x.u.z", "x.u.y")

This is used when creating error messages like below:

cannot borrow `a.u` (via `a.u.z.c`) as immutable because it is also borrowed as
mutable (via `a.u.s.b`) [E0502]

pub(in borrow_check) fn report_borrowed_value_does_not_live_long_enough(
    &mut self,
    location: Location,
    borrow: &BorrowData<'tcx>,
    place_span: (Place<'tcx>, Span),
    kind: Option<WriteKind>
)
[src]

Reports StorageDeadOrDrop of place conflicts with borrow.

This means that some data referenced by borrow needs to live past the point where the StorageDeadOrDrop of place occurs. This is usually interpreted as meaning that place has too short a lifetime. (But sometimes it is more useful to report it as a more direct conflict between the execution of a Drop::drop with an aliasing borrow.)

pub(in borrow_check::diagnostics::conflict_errors) fn report_local_value_does_not_live_long_enough(
    &mut self,
    location: Location,
    name: &str,
    borrow: &BorrowData<'tcx>,
    drop_span: Span,
    borrow_spans: UseSpans<'tcx>,
    explanation: BorrowExplanation
) -> DiagnosticBuilder<'cx>
[src]

pub(in borrow_check::diagnostics::conflict_errors) fn report_borrow_conflicts_with_destructor(
    &mut self,
    location: Location,
    borrow: &BorrowData<'tcx>,
    (place, drop_span): (Place<'tcx>, Span),
    kind: Option<WriteKind>,
    dropped_ty: Ty<'tcx>
)
[src]

pub(in borrow_check::diagnostics::conflict_errors) fn report_thread_local_value_does_not_live_long_enough(
    &mut self,
    drop_span: Span,
    borrow_span: Span
) -> DiagnosticBuilder<'cx>
[src]

pub(in borrow_check::diagnostics::conflict_errors) fn report_temporary_value_does_not_live_long_enough(
    &mut self,
    location: Location,
    borrow: &BorrowData<'tcx>,
    drop_span: Span,
    borrow_spans: UseSpans<'tcx>,
    proper_span: Span,
    explanation: BorrowExplanation
) -> DiagnosticBuilder<'cx>
[src]

pub(in borrow_check::diagnostics::conflict_errors) fn try_report_cannot_return_reference_to_local(
    &self,
    borrow: &BorrowData<'tcx>,
    borrow_span: Span,
    return_span: Span,
    category: ConstraintCategory,
    opt_place_desc: Option<&String>
) -> Option<DiagnosticBuilder<'cx>>
[src]

pub(in borrow_check::diagnostics::conflict_errors) fn report_escaping_closure_capture(
    &mut self,
    use_span: UseSpans<'tcx>,
    var_span: Span,
    fr_name: &RegionName,
    category: ConstraintCategory,
    constraint_span: Span,
    captured_var: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(in borrow_check::diagnostics::conflict_errors) fn report_escaping_data(
    &mut self,
    borrow_span: Span,
    name: &Option<String>,
    upvar_span: Span,
    upvar_name: &str,
    escape_span: Span
) -> DiagnosticBuilder<'cx>
[src]

pub(in borrow_check::diagnostics::conflict_errors) fn get_moved_indexes(
    &mut self,
    location: Location,
    mpi: MovePathIndex
) -> Vec<MoveSite>
[src]

pub(in borrow_check) fn report_illegal_mutation_of_borrowed(
    &mut self,
    location: Location,
    (place, span): (Place<'tcx>, Span),
    loan: &BorrowData<'tcx>
)
[src]

pub(in borrow_check) fn report_illegal_reassignment(
    &mut self,
    _location: Location,
    (place, span): (Place<'tcx>, Span),
    assigned_span: Span,
    err_place: Place<'tcx>
)
[src]

Reports an illegal reassignment; for example, an assignment to (part of) a non-mut local that occurs potentially after that local has already been initialized. place is the path being assigned; err_place is a place providing a reason why place is not mutable (e.g., the non-mut local x in an assignment to x.f).

pub(in borrow_check::diagnostics::conflict_errors) fn classify_drop_access_kind(
    &self,
    place: PlaceRef<'tcx>
) -> StorageDeadOrDrop<'tcx>
[src]

pub(in borrow_check::diagnostics::conflict_errors) fn classify_immutable_section(
    &self,
    place: Place<'tcx>
) -> Option<&'static str>
[src]

Describe the reason for the fake borrow that was assigned to place.

pub(in borrow_check::diagnostics::conflict_errors) fn annotate_argument_and_return_for_borrow(
    &self,
    borrow: &BorrowData<'tcx>
) -> Option<AnnotatedBorrowFnSignature<'tcx>>
[src]

Annotate argument and return type of function and closure with (synthesized) lifetime for borrow of local value that does not live long enough.

pub(in borrow_check::diagnostics::conflict_errors) fn annotate_fn_sig(
    &self,
    did: DefId,
    sig: PolyFnSig<'tcx>
) -> Option<AnnotatedBorrowFnSignature<'tcx>>
[src]

Annotate the first argument and return type of a function signature if they are references.

impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx>[src]

pub(in borrow_check::diagnostics::explain_borrow) fn free_region_constraint_info(
    &self,
    borrow_region: RegionVid,
    outlived_region: RegionVid
) -> (ConstraintCategory, bool, Span, Option<RegionName>)
[src]

pub(in borrow_check) fn explain_why_borrow_contains_point(
    &self,
    location: Location,
    borrow: &BorrowData<'tcx>,
    kind_place: Option<(WriteKind, Place<'tcx>)>
) -> BorrowExplanation
[src]

Returns structured explanation for why the borrow contains the point from location. This is key for the "3-point errors" described in the NLL RFC.

Parameters

  • borrow: the borrow in question
  • location: where the borrow occurs
  • kind_place: if Some, this describes the statement that triggered the error.
    • first half is the kind of write, if any, being performed
    • second half is the place being accessed

pub(in borrow_check::diagnostics::explain_borrow) fn is_use_in_later_iteration_of_loop(
    &self,
    borrow_location: Location,
    use_location: Location
) -> bool
[src]

true if borrow_location can reach use_location by going through a loop and use_location is also inside of that loop

pub(in borrow_check::diagnostics::explain_borrow) fn reach_through_backedge(
    &self,
    from: Location,
    to: Location
) -> Option<Location>
[src]

Returns the outmost back edge if from location can reach to location passing through that back edge

pub(in borrow_check::diagnostics::explain_borrow) fn can_reach_head_of_loop(
    &self,
    from: Location,
    loop_head: Location
) -> bool
[src]

true if from location can reach loop_head location and loop_head dominates all the intermediate nodes

pub(in borrow_check::diagnostics::explain_borrow) fn find_loop_head_dfs(
    &self,
    from: Location,
    loop_head: Location,
    visited_locations: &mut FxHashSet<Location>
) -> bool
[src]

pub(in borrow_check::diagnostics::explain_borrow) fn is_back_edge(
    &self,
    source: Location,
    target: Location
) -> bool
[src]

True if an edge source -> target is a backedge -- in other words, if the target dominates the source.

pub(in borrow_check::diagnostics::explain_borrow) fn later_use_kind(
    &self,
    borrow: &BorrowData<'tcx>,
    use_spans: UseSpans<'tcx>,
    location: Location
) -> (LaterUseKind, Span)
[src]

Determine how the borrow was later used.

pub(in borrow_check::diagnostics::explain_borrow) fn was_captured_by_trait_object(
    &self,
    borrow: &BorrowData<'tcx>
) -> bool
[src]

Checks if a borrowed value was captured by a trait object. We do this by looking forward in the MIR from the reserve location and checking if we see a unsized cast to a trait object on our data.

impl<'a, 'tcx> MirBorrowckCtxt<'a, 'tcx>[src]

pub(crate) fn report_move_errors(
    &mut self,
    move_errors: Vec<(Place<'tcx>, MoveError<'tcx>)>
)
[src]

pub(in borrow_check::diagnostics::move_errors) fn group_move_errors(
    &self,
    errors: Vec<(Place<'tcx>, MoveError<'tcx>)>
) -> Vec<GroupedMoveError<'tcx>>
[src]

pub(in borrow_check::diagnostics::move_errors) fn append_to_grouped_errors(
    &self,
    grouped_errors: &mut Vec<GroupedMoveError<'tcx>>,
    original_path: Place<'tcx>,
    error: MoveError<'tcx>
)
[src]

pub(in borrow_check::diagnostics::move_errors) fn append_binding_error(
    &self,
    grouped_errors: &mut Vec<GroupedMoveError<'tcx>>,
    kind: IllegalMoveOriginKind<'tcx>,
    original_path: Place<'tcx>,
    move_from: Place<'tcx>,
    bind_to: Local,
    match_place: Option<Place<'tcx>>,
    match_span: Span,
    statement_span: Span
)
[src]

pub(in borrow_check::diagnostics::move_errors) fn report(
    &mut self,
    error: GroupedMoveError<'tcx>
)
[src]

pub(in borrow_check::diagnostics::move_errors) fn report_cannot_move_from_static(
    &mut self,
    place: Place<'tcx>,
    span: Span
) -> DiagnosticBuilder<'a>
[src]

pub(in borrow_check::diagnostics::move_errors) fn report_cannot_move_from_borrowed_content(
    &mut self,
    move_place: Place<'tcx>,
    deref_target_place: Place<'tcx>,
    span: Span,
    use_spans: Option<UseSpans<'tcx>>
) -> DiagnosticBuilder<'a>
[src]

pub(in borrow_check::diagnostics::move_errors) fn add_move_hints(
    &self,
    error: GroupedMoveError<'tcx>,
    err: &mut DiagnosticBuilder<'a>,
    span: Span
)
[src]

pub(in borrow_check::diagnostics::move_errors) fn add_move_error_suggestions(
    &self,
    err: &mut DiagnosticBuilder<'a>,
    binds_to: &[Local]
)
[src]

pub(in borrow_check::diagnostics::move_errors) fn add_move_error_details(
    &self,
    err: &mut DiagnosticBuilder<'a>,
    binds_to: &[Local]
)
[src]

impl<'a, 'tcx> MirBorrowckCtxt<'a, 'tcx>[src]

pub(crate) fn report_mutability_error(
    &mut self,
    access_place: Place<'tcx>,
    span: Span,
    the_place_err: PlaceRef<'tcx>,
    error_access: AccessKind,
    location: Location
)
[src]

pub(in borrow_check::diagnostics::mutability_errors) fn expected_fn_found_fn_mut_call(
    &self,
    err: &mut DiagnosticBuilder<'_>,
    sp: Span,
    act: &str
)
[src]

Targeted error when encountering an FnMut closure where an Fn closure was expected.

impl<'a, 'tcx> MirBorrowckCtxt<'a, 'tcx>[src]

pub(in borrow_check::diagnostics) fn to_error_region(
    &self,
    r: RegionVid
) -> Option<Region<'tcx>>
[src]

Converts a region inference variable into a ty::Region that we can use for error reporting. If r is universally bound, then we use the name that we have on record for it. If r is existentially bound, then we check its inferred value and try to find a good name from that. Returns None if we can't find one (e.g., this is just some random part of the CFG).

pub(in borrow_check::diagnostics) fn to_error_region_vid(
    &self,
    r: RegionVid
) -> Option<RegionVid>
[src]

Returns the RegionVid corresponding to the region returned by to_error_region.

pub(in borrow_check::diagnostics::region_errors) fn is_closure_fn_mut(
    &self,
    fr: RegionVid
) -> bool
[src]

Returns true if a closure is inferred to be an FnMut closure.

pub(in borrow_check) fn report_region_errors(
    &mut self,
    nll_errors: Vec<RegionErrorKind<'tcx>>
)
[src]

Produces nice borrowck error diagnostics for all the errors collected in nll_errors.

pub(in borrow_check) fn report_region_error(
    &mut self,
    fr: RegionVid,
    fr_origin: NLLRegionVariableOrigin,
    outlived_fr: RegionVid,
    outlives_suggestion: &mut OutlivesSuggestionBuilder
)
[src]

Report an error because the universal region fr was required to outlive outlived_fr but it is not known to do so. For example:

fn foo<'a, 'b>(x: &'a u32) -> &'b u32 { x }

Here we would be invoked with fr = 'a and outlived_fr = 'b`.

pub(in borrow_check::diagnostics::region_errors) fn report_fnmut_error(
    &self,
    errci: &ErrorConstraintInfo,
    kind: ReturnConstraint
) -> DiagnosticBuilder<'tcx>
[src]

Report a specialized error when FnMut closures return a reference to a captured variable. This function expects fr to be local and outlived_fr to not be local.

error: captured variable cannot escape `FnMut` closure body
  --> $DIR/issue-53040.rs:15:8
   |
LL |     || &mut v;
   |     -- ^^^^^^ creates a reference to a captured variable which escapes the closure body
   |     |
   |     inferred to be a `FnMut` closure
   |
   = note: `FnMut` closures only have access to their captured variables while they are
           executing...
   = note: ...therefore, returned references to captured variables will escape the closure

pub(in borrow_check::diagnostics::region_errors) fn report_escaping_data_error(
    &self,
    errci: &ErrorConstraintInfo
) -> DiagnosticBuilder<'tcx>
[src]

Reports a error specifically for when data is escaping a closure.

error: borrowed data escapes outside of function
  --> $DIR/lifetime-bound-will-change-warning.rs:44:5
   |
LL | fn test2<'a>(x: &'a Box<Fn()+'a>) {
   |              - `x` is a reference that is only valid in the function body
LL |     // but ref_obj will not, so warn.
LL |     ref_obj(x)
   |     ^^^^^^^^^^ `x` escapes the function body here

pub(in borrow_check::diagnostics::region_errors) fn report_general_error(
    &self,
    errci: &ErrorConstraintInfo
) -> DiagnosticBuilder<'tcx>
[src]

Reports a region inference error for the general case with named/synthesized lifetimes to explain what is happening.

error: unsatisfied lifetime constraints
  --> $DIR/regions-creating-enums3.rs:17:5
   |
LL | fn mk_add_bad1<'a,'b>(x: &'a ast<'a>, y: &'b ast<'b>) -> ast<'a> {
   |                -- -- lifetime `'b` defined here
   |                |
   |                lifetime `'a` defined here
LL |     ast::add(x, y)
   |     ^^^^^^^^^^^^^^ function was supposed to return data with lifetime `'a` but it
   |                    is returning data with lifetime `'b`

pub(in borrow_check::diagnostics::region_errors) fn add_static_impl_trait_suggestion(
    &self,
    diag: &mut DiagnosticBuilder<'tcx>,
    fr: RegionVid,
    fr_name: RegionName,
    outlived_fr: RegionVid
)
[src]

Adds a suggestion to errors where a impl Trait is returned.

help: to allow this `impl Trait` to capture borrowed data with lifetime `'1`, add `'_` as
      a constraint
   |
LL |     fn iter_values_anon(&self) -> impl Iterator<Item=u32> + 'a {
   |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^

impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx>[src]

pub(in borrow_check) fn add_moved_or_invoked_closure_note(
    &self,
    location: Location,
    place: PlaceRef<'tcx>,
    diag: &mut DiagnosticBuilder<'_>
)
[src]

Adds a suggestion when a closure is invoked twice with a moved variable or when a closure is moved after being invoked.

note: closure cannot be invoked more than once because it moves the variable `dict` out of
      its environment
  --> $DIR/issue-42065.rs:16:29
   |
LL |         for (key, value) in dict {
   |                             ^^^^

pub(in borrow_check) fn describe_any_place(
    &self,
    place_ref: PlaceRef<'tcx>
) -> String
[src]

End-user visible description of place if one can be found. If the place is a temporary for instance, "value" will be returned.

pub(in borrow_check) fn describe_place(
    &self,
    place_ref: PlaceRef<'tcx>
) -> Option<String>
[src]

End-user visible description of place if one can be found. If the place is a temporary for instance, None will be returned.

pub(in borrow_check) fn describe_place_with_options(
    &self,
    place: PlaceRef<'tcx>,
    including_downcast: IncludingDowncast
) -> Option<String>
[src]

End-user visible description of place if one can be found. If the place is a temporary for instance, None will be returned. IncludingDowncast parameter makes the function return Err if ProjectionElem is Downcast and IncludingDowncast is true

pub(in borrow_check::diagnostics) fn append_place_to_string(
    &self,
    place: PlaceRef<'tcx>,
    buf: &mut String,
    autoderef: bool,
    including_downcast: &IncludingDowncast
) -> Result<(), ()>
[src]

Appends end-user visible description of place to buf.

pub(in borrow_check::diagnostics) fn append_local_to_string(
    &self,
    local: Local,
    buf: &mut String
) -> Result<(), ()>
[src]

Appends end-user visible description of the local place to buf. If local doesn't have a name, or its name was generated by the compiler, then Err is returned

pub(in borrow_check::diagnostics) fn describe_field(
    &self,
    place: PlaceRef<'tcx>,
    field: Field
) -> String
[src]

End-user visible description of the fieldnth field of base

pub(in borrow_check::diagnostics) fn describe_field_from_ty(
    &self,
    ty: Ty<'_>,
    field: Field,
    variant_index: Option<VariantIdx>
) -> String
[src]

End-user visible description of the field_indexnth field of ty

pub(in borrow_check) fn note_type_does_not_implement_copy<'a>(
    &self,
    err: &mut DiagnosticBuilder<'a>,
    place_desc: &str,
    ty: Ty<'tcx>,
    span: Option<Span>,
    move_prefix: &str
)
[src]

Add a note that a type does not implement Copy

pub(in borrow_check) fn borrowed_content_source(
    &self,
    deref_base: PlaceRef<'tcx>
) -> BorrowedContentSource<'tcx>
[src]

impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx>[src]

pub(in borrow_check) fn get_name_for_ty(
    &self,
    ty: Ty<'tcx>,
    counter: usize
) -> String
[src]

Return the name of the provided Ty (that must be a reference) with a synthesized lifetime name where required.

pub(in borrow_check) fn get_region_name_for_ty(
    &self,
    ty: Ty<'tcx>,
    counter: usize
) -> String
[src]

Returns the name of the provided Ty (that must be a reference)'s region with a synthesized lifetime name where required.

impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx>[src]

pub(in borrow_check) fn move_spans(
    &self,
    moved_place: PlaceRef<'tcx>,
    location: Location
) -> UseSpans<'tcx>
[src]

Finds the spans associated to a move or copy of move_place at location.

pub(in borrow_check) fn borrow_spans(
    &self,
    use_span: Span,
    location: Location
) -> UseSpans<'tcx>
[src]

Finds the span of arguments of a closure (within maybe_closure_span) and its usage of the local assigned at location. This is done by searching in statements succeeding location and originating from maybe_closure_span.

pub(in borrow_check::diagnostics) fn closure_span(
    &self,
    def_id: DefId,
    target_place: PlaceRef<'tcx>,
    places: &Vec<Operand<'tcx>>
) -> Option<(Span, Option<GeneratorKind>, Span)>
[src]

Finds the span of a captured variable within a closure or generator.

pub(in borrow_check) fn retrieve_borrow_spans(
    &self,
    borrow: &BorrowData<'_>
) -> UseSpans<'tcx>
[src]

Helper to retrieve span(s) of given borrow from the current MIR representation

impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx>[src]

pub(in borrow_check) fn prefixes(
    &self,
    place_ref: PlaceRef<'tcx>,
    kind: PrefixSet
) -> Prefixes<'cx, 'tcx>

Notable traits for Prefixes<'cx, 'tcx>

impl<'cx, 'tcx> Iterator for Prefixes<'cx, 'tcx> type Item = PlaceRef<'tcx>;
[src]

Returns an iterator over the prefixes of place (inclusive) from longest to smallest, potentially terminating the iteration early based on kind.

impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx>[src]

pub(crate) fn gather_used_muts(
    &mut self,
    temporary_used_locals: FxHashSet<Local>,
    never_initialized_mut_locals: FxHashSet<Local>
)
[src]

Walks the MIR adding to the set of used_mut locals that will be ignored for the purposes of the unused_mut lint.

temporary_used_locals should contain locals that were found to be temporary, mutable and used from borrow checking. This function looks for assignments into these locals from user-declared locals and adds those user-defined locals to the used_mut set. This can occur due to a rare case involving upvars in closures.

never_initialized_mut_locals should contain the set of user-declared mutable locals (not arguments) that have not already been marked as being used. This function then looks for assignments from statements or the terminator into the locals from this set and removes them from the set. This leaves only those locals that have not been assigned to - this set is used as a proxy for locals that were not initialized due to unreachable code. These locals are then considered "used" to silence the lint for them. See #55344 for context.

impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx>[src]

pub(in borrow_check) fn body(
    &self
) -> &'cx Body<'tcx>
[src]

pub(in borrow_check) fn access_place(
    &mut self,
    location: Location,
    place_span: (Place<'tcx>, Span),
    kind: (AccessDepth, ReadOrWrite),
    is_local_mutation_allowed: LocalMutationIsAllowed,
    flow_state: &Flows<'cx, 'tcx>
)
[src]

Checks an access to the given place to see if it is allowed. Examines the set of borrows that are in scope, as well as which paths have been initialized, to ensure that (a) the place is initialized and (b) it is not borrowed in some way that would prevent this access.

Returns true if an error is reported.

pub(in borrow_check) fn check_access_for_conflict(
    &mut self,
    location: Location,
    place_span: (Place<'tcx>, Span),
    sd: AccessDepth,
    rw: ReadOrWrite,
    flow_state: &Flows<'cx, 'tcx>
) -> bool
[src]

pub(in borrow_check) fn mutate_place(
    &mut self,
    location: Location,
    place_span: (Place<'tcx>, Span),
    kind: AccessDepth,
    mode: MutateMode,
    flow_state: &Flows<'cx, 'tcx>
)
[src]

pub(in borrow_check) fn consume_rvalue(
    &mut self,
    location: Location,
    (rvalue, span): (&'cx Rvalue<'tcx>, Span),
    flow_state: &Flows<'cx, 'tcx>
)
[src]

pub(in borrow_check) fn propagate_closure_used_mut_upvar(
    &mut self,
    operand: &Operand<'tcx>
)
[src]

pub(in borrow_check) fn consume_operand(
    &mut self,
    location: Location,
    (operand, span): (&'cx Operand<'tcx>, Span),
    flow_state: &Flows<'cx, 'tcx>
)
[src]

pub(in borrow_check) fn check_for_invalidation_at_exit(
    &mut self,
    location: Location,
    borrow: &BorrowData<'tcx>,
    span: Span
)
[src]

Checks whether a borrow of this place is invalidated when the function exits

pub(in borrow_check) fn check_for_local_borrow(
    &mut self,
    borrow: &BorrowData<'tcx>,
    yield_span: Span
)
[src]

Reports an error if this is a borrow of local data. This is called for all Yield expressions on movable generators

pub(in borrow_check) fn check_activations(
    &mut self,
    location: Location,
    span: Span,
    flow_state: &Flows<'cx, 'tcx>
)
[src]

pub(in borrow_check) fn check_if_reassignment_to_immutable_state(
    &mut self,
    location: Location,
    local: Local,
    place_span: (Place<'tcx>, Span),
    flow_state: &Flows<'cx, 'tcx>
)
[src]

pub(in borrow_check) fn check_if_full_path_is_moved(
    &mut self,
    location: Location,
    desired_action: InitializationRequiringAction,
    place_span: (PlaceRef<'tcx>, Span),
    flow_state: &Flows<'cx, 'tcx>
)
[src]

pub(in borrow_check) fn check_if_subslice_element_is_moved(
    &mut self,
    location: Location,
    desired_action: InitializationRequiringAction,
    place_span: (PlaceRef<'tcx>, Span),
    maybe_uninits: &BitSet<MovePathIndex>,
    from: u64,
    to: u64
)
[src]

Subslices correspond to multiple move paths, so we iterate through the elements of the base array. For each element we check

  • Does this element overlap with our slice.
  • Is any part of it uninitialized.

pub(in borrow_check) fn check_if_path_or_subpath_is_moved(
    &mut self,
    location: Location,
    desired_action: InitializationRequiringAction,
    place_span: (PlaceRef<'tcx>, Span),
    flow_state: &Flows<'cx, 'tcx>
)
[src]

pub(in borrow_check) fn move_path_closest_to(
    &mut self,
    place: PlaceRef<'tcx>
) -> (PlaceRef<'tcx>, MovePathIndex)
[src]

Currently MoveData does not store entries for all places in the input MIR. For example it will currently filter out places that are Copy; thus we do not track places of shared reference type. This routine will walk up a place along its prefixes, searching for a foundational place that is tracked in the MoveData.

An Err result includes a tag indicated why the search failed. Currently this can only occur if the place is built off of a static variable, as we do not track those in the MoveData.

pub(in borrow_check) fn move_path_for_place(
    &mut self,
    place: PlaceRef<'tcx>
) -> Option<MovePathIndex>
[src]

pub(in borrow_check) fn check_if_assigned_path_is_moved(
    &mut self,
    location: Location,
    (place, span): (Place<'tcx>, Span),
    flow_state: &Flows<'cx, 'tcx>
)
[src]

pub(in borrow_check) fn check_access_permissions(
    &mut self,
    (place, span): (Place<'tcx>, Span),
    kind: ReadOrWrite,
    is_local_mutation_allowed: LocalMutationIsAllowed,
    flow_state: &Flows<'cx, 'tcx>,
    location: Location
) -> bool
[src]

Checks the permissions for the given place and read or write kind

Returns true if an error is reported.

pub(in borrow_check) fn is_local_ever_initialized(
    &self,
    local: Local,
    flow_state: &Flows<'cx, 'tcx>
) -> Option<InitIndex>
[src]

pub(in borrow_check) fn add_used_mut(
    &mut self,
    root_place: RootPlace<'tcx>,
    flow_state: &Flows<'cx, 'tcx>
)
[src]

Adds the place into the used mutable variables set

pub(in borrow_check) fn is_mutable(
    &self,
    place: PlaceRef<'tcx>,
    is_local_mutation_allowed: LocalMutationIsAllowed
) -> Result<RootPlace<'tcx>, PlaceRef<'tcx>>
[src]

Whether this value can be written or borrowed mutably. Returns the root place if the place passed in is a projection.

pub fn is_upvar_field_projection(
    &self,
    place_ref: PlaceRef<'tcx>
) -> Option<Field>
[src]

If place is a field projection, and the field is being projected from a closure type, then returns the index of the field being projected. Note that this closure will always be self in the current MIR, because that is the only time we directly access the fields of a closure type.

impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx>[src]

pub(crate) fn cannot_move_when_borrowed(
    &self,
    span: Span,
    desc: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_use_when_mutably_borrowed(
    &self,
    span: Span,
    desc: &str,
    borrow_span: Span,
    borrow_desc: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_act_on_uninitialized_variable(
    &self,
    span: Span,
    verb: &str,
    desc: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_mutably_borrow_multiply(
    &self,
    new_loan_span: Span,
    desc: &str,
    opt_via: &str,
    old_loan_span: Span,
    old_opt_via: &str,
    old_load_end_span: Option<Span>
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_uniquely_borrow_by_two_closures(
    &self,
    new_loan_span: Span,
    desc: &str,
    old_loan_span: Span,
    old_load_end_span: Option<Span>
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_uniquely_borrow_by_one_closure(
    &self,
    new_loan_span: Span,
    container_name: &str,
    desc_new: &str,
    opt_via: &str,
    old_loan_span: Span,
    noun_old: &str,
    old_opt_via: &str,
    previous_end_span: Option<Span>
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_reborrow_already_uniquely_borrowed(
    &self,
    new_loan_span: Span,
    container_name: &str,
    desc_new: &str,
    opt_via: &str,
    kind_new: &str,
    old_loan_span: Span,
    old_opt_via: &str,
    previous_end_span: Option<Span>,
    second_borrow_desc: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_reborrow_already_borrowed(
    &self,
    span: Span,
    desc_new: &str,
    msg_new: &str,
    kind_new: &str,
    old_span: Span,
    noun_old: &str,
    kind_old: &str,
    msg_old: &str,
    old_load_end_span: Option<Span>
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_assign_to_borrowed(
    &self,
    span: Span,
    borrow_span: Span,
    desc: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_reassign_immutable(
    &self,
    span: Span,
    desc: &str,
    is_arg: bool
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_assign(
    &self,
    span: Span,
    desc: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_move_out_of(
    &self,
    move_from_span: Span,
    move_from_desc: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_move_out_of_interior_noncopy(
    &self,
    move_from_span: Span,
    ty: Ty<'_>,
    is_index: Option<bool>
) -> DiagnosticBuilder<'cx>
[src]

Signal an error due to an attempt to move out of the interior of an array or slice. is_index is None when error origin didn't capture whether there was an indexing operation or not.

pub(crate) fn cannot_move_out_of_interior_of_drop(
    &self,
    move_from_span: Span,
    container_ty: Ty<'_>
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_act_on_moved_value(
    &self,
    use_span: Span,
    verb: &str,
    optional_adverb_for_moved: &str,
    moved_path: Option<String>
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_borrow_path_as_mutable_because(
    &self,
    span: Span,
    path: &str,
    reason: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_mutate_in_immutable_section(
    &self,
    mutate_span: Span,
    immutable_span: Span,
    immutable_place: &str,
    immutable_section: &str,
    action: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_borrow_across_generator_yield(
    &self,
    span: Span,
    yield_span: Span
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_borrow_across_destructor(
    &self,
    borrow_span: Span
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn path_does_not_live_long_enough(
    &self,
    span: Span,
    path: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_return_reference_to_local(
    &self,
    span: Span,
    return_kind: &str,
    reference_desc: &str,
    path_desc: &str
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn cannot_capture_in_long_lived_closure(
    &self,
    closure_span: Span,
    closure_kind: &str,
    borrowed_path: &str,
    capture_span: Span
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn thread_local_value_does_not_live_long_enough(
    &self,
    span: Span
) -> DiagnosticBuilder<'cx>
[src]

pub(crate) fn temporary_value_borrowed_for_too_long(
    &self,
    span: Span
) -> DiagnosticBuilder<'cx>
[src]

pub(in util::borrowck_errors) fn struct_span_err_with_code<S: Into<MultiSpan>>(
    &self,
    sp: S,
    msg: &str,
    code: DiagnosticId
) -> DiagnosticBuilder<'tcx>
[src]

Trait Implementations

impl<'cx, 'tcx> ResultsVisitor<'cx, 'tcx> for MirBorrowckCtxt<'cx, 'tcx>[src]

type FlowState = Flows<'cx, 'tcx>

Auto Trait Implementations

impl<'cx, 'tcx> !RefUnwindSafe for MirBorrowckCtxt<'cx, 'tcx>

impl<'cx, 'tcx> !Send for MirBorrowckCtxt<'cx, 'tcx>

impl<'cx, 'tcx> !Sync for MirBorrowckCtxt<'cx, 'tcx>

impl<'cx, 'tcx> Unpin for MirBorrowckCtxt<'cx, 'tcx> where
    'tcx: 'cx, 

impl<'cx, 'tcx> !UnwindSafe for MirBorrowckCtxt<'cx, 'tcx>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]