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>