Struct Impl

pub struct Impl {
    pub is_unsafe: bool,
    pub generics: Generics,
    pub provided_trait_methods: Vec<String>,
    pub trait_: Option<Path>,
    pub for_: Type,
    pub items: Vec<Id>,
    pub is_negative: bool,
    pub is_synthetic: bool,
    pub blanket_impl: Option<Type>,
}

An impl block.

Fields

is_unsafe: bool

Whether this impl is for an unsafe trait.

generics: Generics

Information about the impl’s type parameters and where clauses.

provided_trait_methods: Vec<String>

The list of the names of all the trait methods that weren’t mentioned in this impl but were provided by the trait itself.

For example, for this impl of the PartialEq trait:

struct Foo;

impl PartialEq for Foo {
    fn eq(&self, other: &Self) -> bool { todo!() }
}

This field will be ["ne"], as it has a default implementation defined for it.

trait_: Option<Path>

The trait being implemented or None if the impl is inherent, which means impl Struct {} as opposed to impl Trait for Struct {}.

for_: Type

The type that the impl block is for.

items: Vec<Id>

The list of associated items contained in this impl block.

is_negative: bool

Whether this is a negative impl (e.g. !Sized or !Send).

is_synthetic: bool

Whether this is an impl that’s implied by the compiler (for autotraits, e.g. Send or Sync).

blanket_impl: Option<Type>

Trait Implementations

impl Clone for Impl

fn clone(&self) -> Impl

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Impl

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Impl

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for Impl

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Impl

fn eq(&self, other: &Impl) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Impl

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Impl

impl StructuralPartialEq for Impl