pub struct FieldInstantiation {
pub handle: FieldHandleIndex,
pub type_parameters: SignatureIndex,
}
Expand description
A complete or partial instantiation of a field (or the type of it).
A FieldInstantiation
points to a generic FieldHandle
and the instantiation
of the owner type.
E.g. for S<u8, bool>.f
where f
is a field of any type, instantiation
would be [u8, boo]
Fields§
§handle: FieldHandleIndex
§type_parameters: SignatureIndex
Trait Implementations§
source§impl Arbitrary for FieldInstantiation
impl Arbitrary for FieldInstantiation
§type Parameters = ()
type Parameters = ()
The type of parameters that
arbitrary_with
accepts for configuration
of the generated Strategy
. Parameters must implement Default
.§type Strategy = Map<(<FieldHandleIndex as Arbitrary>::Strategy, <SignatureIndex as Arbitrary>::Strategy), fn(_: (FieldHandleIndex, SignatureIndex)) -> FieldInstantiation>
type Strategy = Map<(<FieldHandleIndex as Arbitrary>::Strategy, <SignatureIndex as Arbitrary>::Strategy), fn(_: (FieldHandleIndex, SignatureIndex)) -> FieldInstantiation>
The type of
Strategy
used to generate values of type Self
.source§fn arbitrary_with(_top: Self::Parameters) -> Self::Strategy
fn arbitrary_with(_top: Self::Parameters) -> Self::Strategy
source§impl Clone for FieldInstantiation
impl Clone for FieldInstantiation
source§fn clone(&self) -> FieldInstantiation
fn clone(&self) -> FieldInstantiation
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for FieldInstantiation
impl Debug for FieldInstantiation
source§impl Hash for FieldInstantiation
impl Hash for FieldInstantiation
source§impl PartialEq<FieldInstantiation> for FieldInstantiation
impl PartialEq<FieldInstantiation> for FieldInstantiation
source§fn eq(&self, other: &FieldInstantiation) -> bool
fn eq(&self, other: &FieldInstantiation) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.