Enum flowistry_pdg::rustc::mir::visit::TyContext

pub enum TyContext {
    LocalDecl {
        local: Local,
        source_info: SourceInfo,
    },
    UserTy(Span),
    ReturnTy(SourceInfo),
    YieldTy(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)

Location(Location)

A type found at some location.