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

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

Fields of BorrowedContent

target_place: Place<'tcx>

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

InteriorOfTypeWithDestructor

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.

Fields of InteriorOfTypeWithDestructor

container_ty: Ty<'tcx>

InteriorOfSliceOrArray

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

Fields of InteriorOfSliceOrArray

ty: Ty<'tcx>is_index: bool

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