pub enum SigBotV1 {
Path(LongUpperTok),
Var(CtorTok),
Sig {
sig_kw: KwSig,
decls: Vec<StructDeclV1>,
end_kw: KwEnd,
},
}Expand description
sigexpr_bot (parser_v1.mly:575-595) — a satellite (no self-loop;
no edge back to SigExpr). Sig bodies go through
super::StructDeclV1 (opaque hand-written connector), so
SigBotV1 never statically references Decl.
Variants§
Path(LongUpperTok)
LONG_UPPER — a signature path M.N.S (:581-590).
Var(CtorTok)
UPPER — a signature name (:576-580).
Sig
SIG list(decl) END (:591-595). sig is a version-independent
keyword (lexer.rs).
Trait Implementations§
Source§impl<__SyanMacro_Atom> Parse<__SyanMacro_Atom> for SigBotV1
impl<__SyanMacro_Atom> Parse<__SyanMacro_Atom> for SigBotV1
Source§type Error = ParseError<<__SyanMacro_Atom as Spanned>::Span>
type Error = ParseError<<__SyanMacro_Atom as Spanned>::Span>
Every error must be convertible to the universal one, so a field’s failure can become the
enclosing type’s failure with no per-field where-predicate. Stating it HERE rather than at
each derived impl is what keeps it out of the obligation graph: a per-field
<FieldTy as Parse<Atom>>::Error: Into<…> predicate re-creates a projection cycle on a
recursive field (E0275), which decycle’s bound-peeling does not break.Source§fn parse_stream<__SyanMacro_S: ParseStream<Atom = __SyanMacro_Atom>>(
__syan_stream: &mut __SyanMacro_S,
) -> Result<Self, Self::Error>
fn parse_stream<__SyanMacro_S: ParseStream<Atom = __SyanMacro_Atom>>( __syan_stream: &mut __SyanMacro_S, ) -> Result<Self, Self::Error>
Parse from a reborrowable stream. Read more
impl StructuralPartialEq for SigBotV1
Auto Trait Implementations§
impl Freeze for SigBotV1
impl RefUnwindSafe for SigBotV1
impl Send for SigBotV1
impl Sync for SigBotV1
impl Unpin for SigBotV1
impl UnsafeUnpin for SigBotV1
impl UnwindSafe for SigBotV1
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