Enum rustc_mir::borrow_check::diagnostics::explain_borrow::BorrowExplanation[−][src]

pub(in borrow_check) enum BorrowExplanation {
    UsedLater(LaterUseKind, Span, Option<Span>),
    UsedLaterInLoop(LaterUseKind, Span, Option<Span>),
    UsedLaterWhenDropped {
        drop_loc: Location,
        dropped_local: Local,
        should_note_order: bool,
    },
    MustBeValidFor {
        category: ConstraintCategory,
        from_closure: bool,
        span: Span,
        region_name: RegionName,
        opt_place_desc: Option<String>,
    },
    Unexplained,
}

Variants

UsedLater(LaterUseKind, Span, Option<Span>)
UsedLaterInLoop(LaterUseKind, Span, Option<Span>)
UsedLaterWhenDropped
Show fields

Fields of UsedLaterWhenDropped

drop_loc: Locationdropped_local: Localshould_note_order: bool
MustBeValidFor
Show fields

Fields of MustBeValidFor

category: ConstraintCategoryfrom_closure: boolspan: Spanregion_name: RegionNameopt_place_desc: Option<String>
Unexplained

Implementations

impl BorrowExplanation[src]

pub(in borrow_check) fn is_explained(
    &self
) -> bool[src]

pub(in borrow_check) fn add_explanation_to_diagnostic<'tcx>(
    &self,
    tcx: TyCtxt<'tcx>,
    body: &Body<'tcx>,
    local_names: &IndexVec<Local, Option<Symbol>>,
    err: &mut DiagnosticBuilder<'_>,
    borrow_desc: &str,
    borrow_span: Option<Span>
)[src]

pub(in borrow_check) fn add_lifetime_bound_suggestion_to_diagnostic(
    &self,
    err: &mut DiagnosticBuilder<'_>,
    category: &ConstraintCategory,
    span: Span,
    region_name: &RegionName
)[src]

Trait Implementations

impl Debug for BorrowExplanation[src]

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

Formats the value using the given formatter. Read more

Auto Trait Implementations

impl RefUnwindSafe for BorrowExplanation

impl !Send for BorrowExplanation

impl !Sync for BorrowExplanation

impl Unpin for BorrowExplanation

impl UnwindSafe for BorrowExplanation

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

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

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

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

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

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

pub fn from(t: T) -> T[src]

Performs the conversion.

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

pub fn into(self) -> U[src]

Performs the conversion.

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.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

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.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<T> WithConstness for T[src]

fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>[src]

fn with_const(self) -> ConstnessAnd<Self>[src]

fn without_const(self) -> ConstnessAnd<Self>[src]