Enum flowistry_pdg::rustc::mir::BindingForm

pub enum BindingForm<'tcx> {
    Var(VarBindingForm<'tcx>),
    ImplicitSelf(ImplicitSelfKind),
    RefForGuard,
}

Variants

Var(VarBindingForm<'tcx>)

This is a binding for a non-self binding, or a self that has an explicit type.

ImplicitSelf(ImplicitSelfKind)

Binding for a self/&self/&mut self binding where the type is implicit.

RefForGuard

Reference used in a guard expression to ensure immutability.