Enum rustc_mir_dataflow::move_paths::IllegalMoveOriginKind

pub enum IllegalMoveOriginKind<'tcx> {
    BorrowedContent {
        target_place: Place<'tcx>,
    },
    InteriorOfTypeWithDestructor {
        container_ty: Ty<'tcx>,
    },
    InteriorOfSliceOrArray {
        ty: Ty<'tcx>,
        is_index: bool,
    },
}

Variants

BorrowedContent

Fields

target_place: Place<'tcx>

The place the reference refers to: if erroneous code was trying to move from (*x).f this will be *x.

Illegal move due to attempt to move from behind a reference.

InteriorOfTypeWithDestructor

Fields

container_ty: Ty<'tcx>

Illegal move due to attempt to move from field of an ADT that implements Drop. Rust maintains invariant that all Drop ADT’s remain fully-initialized so that user-defined destructor can safely read from all of the ADT’s fields.

InteriorOfSliceOrArray

Fields

ty: Ty<'tcx>

is_index: bool

Illegal move due to attempt to move out of a slice or array.

Trait Implementations

impl<'tcx> Debug for IllegalMoveOriginKind<'tcx>

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

Formats the value using the given formatter.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 24 bytes

Size for each variant:

• BorrowedContent: 23 bytes
• InteriorOfTypeWithDestructor: 15 bytes
• InteriorOfSliceOrArray: 15 bytes