Struct EiiImpl

Source

pub struct EiiImpl {
    pub node_id: NodeId,
    pub eii_macro_path: Path,
    pub known_eii_macro_resolution: Option<EiiDecl>,
    pub impl_safety: Safety,
    pub span: Span,
    pub inner_span: Span,
    pub is_default: bool,
}

Fields§

§node_id: NodeId§eii_macro_path: Path§known_eii_macro_resolution: Option<EiiDecl>

This field is an implementation detail that prevents a lot of bugs. See https://github.com/rust-lang/rust/issues/149981 for an example.

The problem is, that if we generate a declaration together with its default, we generate both a declaration and an implementation. The generated implementation uses the same mechanism to register itself as a user-defined implementation would, despite being invisible to users. What does happen is a name resolution step. The invisible default implementation has to find the declaration. Both are generated at the same time, so we can skip that name resolution step.

This field is that shortcut: we prefill the extern target to skip a name resolution step, making sure it never fails. It’d be awful UX if we fail name resolution in code invisible to the user.

§impl_safety: Safety§span: Span§inner_span: Span§is_default: bool

EiiImpl

Struct EiiImpl Copy item path

Fields§

Trait Implementations§

impl Clone for EiiImpl

fn clone(&self) -> EiiImpl

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

impl Debug for EiiImpl

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

impl<__D: SpanDecoder> Decodable<__D> for EiiImpl

fn decode(__decoder: &mut __D) -> Self

impl<__E: SpanEncoder> Encodable<__E> for EiiImpl

fn encode(&self, __encoder: &mut __E)

impl<V: MutVisitor> MutVisitable<V> for EiiImpl

type Extra = ()

fn visit_mut(&mut self, visitor: &mut V, _extra: Self::Extra) -> V::Result

impl<__V> MutWalkable<__V> for EiiImplwhere __V: MutVisitor,

fn walk_mut(&mut self, __visitor: &mut __V)

impl<'a, V: Visitor<'a>> Visitable<'a, V> for EiiImpl

type Extra = ()

fn visit(&'a self, visitor: &mut V, _extra: Self::Extra) -> V::Result

impl<'__ast, __V> Walkable<'__ast, __V> for EiiImplwhere __V: Visitor<'__ast>,

fn walk_ref(&'__ast self, __visitor: &mut __V) -> __V::Result

Auto Trait Implementations§

impl DynSend for EiiImpl

impl DynSync for EiiImpl

impl Freeze for EiiImpl

impl RefUnwindSafe for EiiImpl

impl Send for EiiImpl

impl Sync for EiiImpl

impl Unpin for EiiImpl

impl UnwindSafe for EiiImpl

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> MutVisitorResult for T

type Result = ()

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Layout§

Struct EiiImpl

impl<D: SpanDecoder> Decodable<D> for EiiImpl

fn decode(decoder: &mut D) -> Self

impl<E: SpanEncoder> Encodable<E> for EiiImpl

fn encode(&self, encoder: &mut E)

impl<V> MutWalkable<V> for EiiImpl
where __V: MutVisitor,

fn walk_mut(&mut self, visitor: &mut V)

impl<'ast, V> Walkable<'ast, V> for EiiImpl
where V: Visitor<'ast>,

fn walk_ref(&'ast self, visitor: &mut V) -> V::Result

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,