pub struct TraitAssocReft {
pub name: Ident,
pub params: RefineParams,
pub output: BaseSort,
pub body: Option<Expr>,
pub span: Span,
}
Fields§
§name: Ident
§params: RefineParams
§output: BaseSort
§body: Option<Expr>
§span: Span
Trait Implementations§
Auto Trait Implementations§
impl Freeze for TraitAssocReft
impl RefUnwindSafe for TraitAssocReft
impl Send for TraitAssocReft
impl Sync for TraitAssocReft
impl Unpin for TraitAssocReft
impl UnwindSafe for TraitAssocReft
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