Enum rustc_mir::borrow_check::diagnostics::UseSpans

pub(in borrow_check) enum UseSpans<'tcx> {
    ClosureUse {
        generator_kind: Option<GeneratorKind>,
        args_span: Span,
        var_span: Span,
    },
    FnSelfUse {
        var_span: Span,
        fn_call_span: Span,
        fn_span: Span,
        kind: FnSelfUseKind<'tcx>,
    },
    PatUse(Span),
    OtherUse(Span),
}

The span(s) associated to a use of a place.

Variants

ClosureUse

The access is caused by capturing a variable for a closure.

Fields of ClosureUse

generator_kind: Option<GeneratorKind>

This is true if the captured variable was from a generator.

args_span: Span

The span of the args of the closure, including the move keyword if it's present.

var_span: Span

The span of the first use of the captured variable inside the closure.

FnSelfUse

The access is caused by using a variable as the receiver of a method that takes 'self'

Fields of FnSelfUse

var_span: Span

The span of the variable being moved

fn_call_span: Span

The span of the method call on the variable

fn_span: Span

The definition span of the method being called

kind: FnSelfUseKind<'tcx>

PatUse(Span)

This access is caused by a match or if let pattern.

OtherUse(Span)

This access has a single span associated to it: common case.

Implementations

impl<'_> UseSpans<'_>

pub(in borrow_check) fn args_or_use(
    self
) -> Span

pub(in borrow_check) fn var_or_use(
    self
) -> Span

pub(in borrow_check) fn generator_kind(
    self
) -> Option<GeneratorKind>

pub(in borrow_check) fn args_span_label(
    self,
    err: &mut DiagnosticBuilder<'_>,
    message: impl Into<String>
)

pub(in borrow_check) fn var_span_label(
    self,
    err: &mut DiagnosticBuilder<'_>,
    message: impl Into<String>
)

pub(in borrow_check) fn for_closure(
    &self
) -> bool

Returns false if this place is not used in a closure.

pub(in borrow_check) fn for_generator(
    &self
) -> bool

Returns false if this place is not used in a generator.

pub(in borrow_check) fn describe(
    &self
) -> String

Describe the span associated with a use of a place.

pub(in borrow_check) fn or_else<F>(
    self,
    if_other: F
) -> Self where
    F: FnOnce() -> Self, 

Trait Implementations

impl<'tcx> Clone for UseSpans<'tcx>

pub fn clone(&self) -> UseSpans<'tcx>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Copy for UseSpans<'tcx>

impl<'tcx> Debug for UseSpans<'tcx>

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx> Eq for UseSpans<'tcx>

impl<'tcx> PartialEq<UseSpans<'tcx>> for UseSpans<'tcx>

pub fn eq(&self, other: &UseSpans<'tcx>) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &UseSpans<'tcx>) -> bool

This method tests for !=.

impl<'tcx> StructuralEq for UseSpans<'tcx>

impl<'tcx> StructuralPartialEq for UseSpans<'tcx>