Trait hax_frontend_exporter::state::HasOwnerIdSetter

pub trait HasOwnerIdSetter {
    type Out;

    // Required method
    fn with_owner_id(self, owner_id: DefId) -> Self::Out;
}

Required Associated Types

type Out

Required Methods

fn with_owner_id(self, owner_id: DefId) -> Self::Out

Implementors

impl<Base, Thir, Mir, OwnerId, Binder> HasOwnerIdSetter for State<Base, Thir, Mir, OwnerId, Binder>

type Out = State<Base, Thir, Mir, DefId, Binder>