pub struct AssocTypeBinding {
pub docs: Vec<Spanned<String>>,
pub name: Spanned<String>,
pub ty: Spanned<Type>,
}Expand description
One associated-type binding inside an impl block: type Item = Int.
There is deliberately no vis field. An associated-type binding is not an
independently nameable item — it is only ever reached through a projection
on the impl’s trait, whose own visibility already governs it — so a pub
here would be stored and honoured by nothing. nova-parser rejects one
instead of dropping it silently.
Fields§
§docs: Vec<Spanned<String>>The /// lines before it, one entry per line, holding the text after
the /// (spec
docs/superpowers/specs/2026-10-07-phase-3-1-formatter-design.md §4).
name: Spanned<String>§ty: Spanned<Type>Trait Implementations§
Source§impl Clone for AssocTypeBinding
impl Clone for AssocTypeBinding
Auto Trait Implementations§
impl Freeze for AssocTypeBinding
impl RefUnwindSafe for AssocTypeBinding
impl Send for AssocTypeBinding
impl Sync for AssocTypeBinding
impl Unpin for AssocTypeBinding
impl UnsafeUnpin for AssocTypeBinding
impl UnwindSafe for AssocTypeBinding
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