Enum DefinedTy

pub enum DefinedTy<'tcx> {
    Hir(&'tcx Ty<'tcx>),
    Mir {
        def_site_def_id: Option<DefId>,
        ty: Binder<'tcx, Ty<'tcx>>,
    },
}

A type definition as it would be viewed from within a function.

Variants

Hir(&'tcx Ty<'tcx>)

Mir

Used for function signatures, and constant and static values. The type is in the context of its definition site. We also track the def_id of its definition site.

WARNING: As the ty in in the scope of the definition, not of the function using it, you must be very careful with how you use it. Using it in the wrong scope easily results in ICEs.

Fields

def_site_def_id: Option<DefId>

ty: Binder<'tcx, Ty<'tcx>>

Trait Implementations

impl<'tcx> Clone for DefinedTy<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Copy for DefinedTy<'tcx>

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:

• Hir: 16 bytes
• Mir: 24 bytes