Enum rustc_middle::mir::visit::TyContext

pub enum TyContext {
    LocalDecl {
        local: Local,
        source_info: SourceInfo,
    },
    UserTy(Span),
    ReturnTy(SourceInfo),
    YieldTy(SourceInfo),
    ResumeTy(SourceInfo),
    Location(Location),
}

Extra information passed to visit_ty and friends to give context about where the type etc appears.

Variants

LocalDecl

Fields

local: Local

The index of the local variable we are visiting.

source_info: SourceInfo

The source location where this local variable was declared.

UserTy(Span)

The inferred type of a user type annotation.

ReturnTy(SourceInfo)

The return type of the function.

YieldTy(SourceInfo)

ResumeTy(SourceInfo)

Location(Location)

A type found at some location.

Trait Implementations

impl Clone for TyContext

fn clone(&self) -> TyContext

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TyContext

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

Formats the value using the given formatter.

impl Hash for TyContext

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TyContext

fn eq(&self, other: &TyContext) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for TyContext

impl Eq for TyContext

impl StructuralPartialEq for TyContext

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:

• LocalDecl: 16 bytes
• UserTy: 8 bytes
• ReturnTy: 12 bytes
• YieldTy: 12 bytes
• ResumeTy: 12 bytes
• Location: 20 bytes