hax_frontend_exporter::state

Trait HasOwnerId

source 
pub trait HasOwnerId {
    // Required method
    fn owner_id(&self) -> DefId;
}

Required Methods§

source

fn owner_id(&self) -> DefId

Implementors§

source§

impl<Base, Thir, Mir, Binder> HasOwnerId for State<Base, Thir, Mir, DefId, Binder>