Enum rustc_mir::borrow_check::diagnostics::UseSpans

pub(super) enum UseSpans<'tcx> {
    ClosureUse {
        generator_kind: Option<GeneratorKind>,
        args_span: Span,
        capture_kind_span: Span,
        path_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.

capture_kind_span: Span

The span of the use resulting in capture kind Check ty::CaptureInfo for more details

path_span: Span

The span of the use resulting in the captured path Check ty::CaptureInfo for more details

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(super) fn args_or_use(self) -> Span

pub(super) fn var_or_use_path_span(self) -> Span

Returns the span of self, in the case of a ClosureUse returns the path_span

pub(super) fn var_or_use(self) -> Span

Returns the span of self, in the case of a ClosureUse returns the capture_kind_span

pub(super) fn generator_kind(self) -> Option<GeneratorKind>

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

pub(super) fn var_span_label_path_only(
    self,
    err: &mut DiagnosticBuilder<'_>,
    message: impl Into<String>
)

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

pub(super) fn for_closure(&self) -> bool

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

pub(super) fn for_generator(&self) -> bool

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

pub(super) fn describe(&self) -> String

Describe the span associated with a use of a place.

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

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

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

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

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

This method tests for !=.

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

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

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

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