pub struct VirtualTraitImpl {
pub trait_pred: TraitPredicate,
pub implied_impl_exprs: Vec<ImplExpr>,
pub types: Vec<(Ty, Vec<ImplExpr>)>,
}Expand description
Partial data for a trait impl, used for fake trait impls that we generate ourselves such as
FnOnce and Drop impls.
Fields§
§trait_pred: TraitPredicateThe trait that is implemented by this impl block.
implied_impl_exprs: Vec<ImplExpr>The ImplExprs required to satisfy the predicates on the trait declaration.
types: Vec<(Ty, Vec<ImplExpr>)>The associated types and their predicates, in definition order.
Trait Implementations§
Source§impl Clone for VirtualTraitImpl
impl Clone for VirtualTraitImpl
Source§fn clone(&self) -> VirtualTraitImpl
fn clone(&self) -> VirtualTraitImpl
Returns a duplicate 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 VirtualTraitImpl
impl Debug for VirtualTraitImpl
Source§impl<'de> Deserialize<'de> for VirtualTraitImpl
impl<'de> Deserialize<'de> for VirtualTraitImpl
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl JsonSchema for VirtualTraitImpl
impl JsonSchema for VirtualTraitImpl
Source§fn schema_name() -> String
fn schema_name() -> String
The name of the generated JSON Schema. Read more
Source§fn schema_id() -> Cow<'static, str>
fn schema_id() -> Cow<'static, str>
Returns a string that uniquely identifies the schema produced by this type. Read more
Source§fn json_schema(generator: &mut SchemaGenerator) -> Schema
fn json_schema(generator: &mut SchemaGenerator) -> Schema
Generates a JSON Schema for this type. Read more
Source§fn is_referenceable() -> bool
fn is_referenceable() -> bool
Whether JSON Schemas generated for this type should be re-used where possible using the
$ref keyword. Read moreAuto Trait Implementations§
impl Freeze for VirtualTraitImpl
impl RefUnwindSafe for VirtualTraitImpl
impl Send for VirtualTraitImpl
impl Sync for VirtualTraitImpl
impl Unpin for VirtualTraitImpl
impl UnwindSafe for VirtualTraitImpl
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more