Struct rustc_builtin_macros::deriving::generic::TraitDef
source · pub struct TraitDef<'a> {
pub span: Span,
pub path: Path,
pub skip_path_as_bound: bool,
pub needs_copy_as_bound_if_packed: bool,
pub additional_bounds: Vec<Ty>,
pub supports_unions: bool,
pub methods: Vec<MethodDef<'a>>,
pub associated_types: Vec<(Ident, Ty)>,
pub is_const: bool,
}
Fields§
§span: Span
The span for the current #[derive(Foo)] header.
path: Path
Path of the trait, including any type parameters
skip_path_as_bound: bool
Whether to skip adding the current trait as a bound to the type parameters of the type.
needs_copy_as_bound_if_packed: bool
Whether Copy
is needed as an additional bound on type parameters in a packed struct.
additional_bounds: Vec<Ty>
Additional bounds required of any type parameters of the type, other than the current trait
supports_unions: bool
Can this trait be derived for unions?
methods: Vec<MethodDef<'a>>
§associated_types: Vec<(Ident, Ty)>
§is_const: bool
Implementations§
source§impl<'a> TraitDef<'a>
impl<'a> TraitDef<'a>
pub fn expand( self, cx: &mut ExtCtxt<'_>, mitem: &MetaItem, item: &'a Annotatable, push: &mut dyn FnMut(Annotatable) )
pub fn expand_ext( self, cx: &mut ExtCtxt<'_>, mitem: &MetaItem, item: &'a Annotatable, push: &mut dyn FnMut(Annotatable), from_scratch: bool )
sourcefn create_derived_impl(
&self,
cx: &mut ExtCtxt<'_>,
type_ident: Ident,
generics: &Generics,
field_tys: Vec<P<Ty>>,
methods: Vec<P<AssocItem>>,
is_packed: bool
) -> P<Item>
fn create_derived_impl( &self, cx: &mut ExtCtxt<'_>, type_ident: Ident, generics: &Generics, field_tys: Vec<P<Ty>>, methods: Vec<P<AssocItem>>, is_packed: bool ) -> P<Item>
Given that we are deriving a trait DerivedTrait
for a type like:
struct Struct<'a, ..., 'z, A, B: DeclaredTrait, C, ..., Z> where C: WhereTrait {
a: A,
b: B::Item,
b1: <B as DeclaredTrait>::Item,
c1: <C as WhereTrait>::Item,
c2: Option<<C as WhereTrait>::Item>,
...
}
create an impl like:
impl<'a, ..., 'z, A, B: DeclaredTrait, C, ... Z> where
C: WhereTrait,
A: DerivedTrait + B1 + ... + BN,
B: DerivedTrait + B1 + ... + BN,
C: DerivedTrait + B1 + ... + BN,
B::Item: DerivedTrait + B1 + ... + BN,
<C as WhereTrait>::Item: DerivedTrait + B1 + ... + BN,
...
{
...
}
where B1, …, BN are the bounds given by bounds_paths
.’. Z is a phantom type, and
therefore does not get bound by the derived trait.
fn expand_struct_def( &self, cx: &mut ExtCtxt<'_>, struct_def: &'a VariantData, type_ident: Ident, generics: &Generics, from_scratch: bool, is_packed: bool ) -> P<Item>
fn expand_enum_def( &self, cx: &mut ExtCtxt<'_>, enum_def: &'a EnumDef, type_ident: Ident, generics: &Generics, from_scratch: bool ) -> P<Item>
source§impl<'a> TraitDef<'a>
impl<'a> TraitDef<'a>
fn summarise_struct( &self, cx: &mut ExtCtxt<'_>, struct_def: &VariantData ) -> StaticFields
fn create_struct_patterns( &self, cx: &mut ExtCtxt<'_>, struct_path: Path, struct_def: &'a VariantData, prefixes: &[String], by_ref: ByRef ) -> ThinVec<P<Pat>>
fn create_fields<F>( &self, struct_def: &'a VariantData, mk_exprs: F ) -> Vec<FieldInfo>where F: Fn(usize, &FieldDef, Span) -> Vec<P<Expr>>,
fn mk_pattern_ident(&self, prefix: &str, i: usize) -> Ident
fn create_struct_pattern_fields( &self, cx: &mut ExtCtxt<'_>, struct_def: &'a VariantData, prefixes: &[String] ) -> Vec<FieldInfo>
fn create_struct_field_access_fields( &self, cx: &mut ExtCtxt<'_>, selflike_args: &[P<Expr>], struct_def: &'a VariantData, is_packed: bool ) -> Vec<FieldInfo>
Auto Trait Implementations§
impl<'a> !RefUnwindSafe for TraitDef<'a>
impl<'a> !Send for TraitDef<'a>
impl<'a> !Sync for TraitDef<'a>
impl<'a> Unpin for TraitDef<'a>
impl<'a> !UnwindSafe for TraitDef<'a>
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
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 144 bytes