pub(crate) enum __Symbol {
Show 101 variants
Variant0(Token),
Variant1(Symbol),
Variant2(Lit),
Variant3(Option<Token>),
Variant4(RefineParams),
Variant5(Option<RefineParams>),
Variant6(Ty),
Variant7(Option<Ty>),
Variant8(Vec<BaseSort>),
Variant9(Option<Vec<BaseSort>>),
Variant10(RefineParam),
Variant11(Option<RefineParam>),
Variant12(Vec<Ensures>),
Variant13(Option<Vec<Ensures>>),
Variant14(Vec<Requires>),
Variant15(Option<Vec<Requires>>),
Variant16(Vec<WhereBoundPredicate>),
Variant17(Option<Vec<WhereBoundPredicate>>),
Variant18(Expr),
Variant19(Option<Expr>),
Variant20(BaseSort),
Variant21(Vec<BaseSort>),
Variant22(ConstructorArg),
Variant23(Vec<ConstructorArg>),
Variant24(Ensures),
Variant25(Vec<Ensures>),
Variant26(Vec<Expr>),
Variant27(FnInput),
Variant28(Vec<FnInput>),
Variant29(GenericArg),
Variant30(Vec<GenericArg>),
Variant31(GenericParam),
Variant32(Vec<GenericParam>),
Variant33(Ident),
Variant34(Vec<Ident>),
Variant35(Item),
Variant36(Vec<Item>),
Variant37(PathSegment),
Variant38(Vec<PathSegment>),
Variant39(RefineArg),
Variant40(Vec<RefineArg>),
Variant41(Vec<RefineParam>),
Variant42(Requires),
Variant43(Vec<Requires>),
Variant44(Vec<Ty>),
Variant45(WhereBoundPredicate),
Variant46(Vec<WhereBoundPredicate>),
Variant47((Ty, Token)),
Variant48(Vec<(Ty, Token)>),
Variant49(Location),
Variant50(Async),
Variant51(Option<BaseSort>),
Variant52(BaseTy),
Variant53(BaseTyKind),
Variant54(BinOp),
Variant55(Vec<RefineParam>),
Variant56(Vec<ConstructorArg>),
Variant57(Vec<Expr>),
Variant58(Vec<FnInput>),
Variant59(Vec<GenericArg>),
Variant60(Vec<GenericParam>),
Variant61(Vec<Ident>),
Variant62(Vec<RefineArg>),
Variant63(Vec<Ty>),
Variant64(ConstArg),
Variant65(Option<ConstructorArg>),
Variant66(ExprPath),
Variant67(Option<FnInput>),
Variant68(FnSig),
Variant69(Option<GenericArg>),
Variant70(Option<Vec<GenericArg>>),
Variant71(GenericBounds),
Variant72(Option<GenericParam>),
Variant73(Generics),
Variant74(Option<Ident>),
Variant75(ImplAssocReft),
Variant76(Indices),
Variant77(Vec<Item>),
Variant78(Lit),
Variant79(ParamMode),
Variant80(Option<ParamMode>),
Variant81(Path),
Variant82(Vec<PathSegment>),
Variant83(Punctuated<Ty, Token>),
Variant84(QualNames),
Variant85(Qualifier),
Variant86(Option<RefineArg>),
Variant87(Option<Vec<RefineArg>>),
Variant88(Sort),
Variant89(SortDecl),
Variant90(Vec<Ident>),
Variant91(Option<Vec<Ident>>),
Variant92(SpecFunc),
Variant93(TraitAssocReft),
Variant94(TyAlias),
Variant95(TyKind),
Variant96(UnOp),
Variant97(VariantDef),
Variant98(VariantRet),
Variant99(Option<VariantRet>),
Variant100(Option<WhereBoundPredicate>),
}
Variants§
Variant0(Token)
Variant1(Symbol)
Variant2(Lit)
Variant3(Option<Token>)
Variant4(RefineParams)
Variant5(Option<RefineParams>)
Variant6(Ty)
Variant7(Option<Ty>)
Variant8(Vec<BaseSort>)
Variant9(Option<Vec<BaseSort>>)
Variant10(RefineParam)
Variant11(Option<RefineParam>)
Variant12(Vec<Ensures>)
Variant13(Option<Vec<Ensures>>)
Variant14(Vec<Requires>)
Variant15(Option<Vec<Requires>>)
Variant16(Vec<WhereBoundPredicate>)
Variant17(Option<Vec<WhereBoundPredicate>>)
Variant18(Expr)
Variant19(Option<Expr>)
Variant20(BaseSort)
Variant21(Vec<BaseSort>)
Variant22(ConstructorArg)
Variant23(Vec<ConstructorArg>)
Variant24(Ensures)
Variant25(Vec<Ensures>)
Variant26(Vec<Expr>)
Variant27(FnInput)
Variant28(Vec<FnInput>)
Variant29(GenericArg)
Variant30(Vec<GenericArg>)
Variant31(GenericParam)
Variant32(Vec<GenericParam>)
Variant33(Ident)
Variant34(Vec<Ident>)
Variant35(Item)
Variant36(Vec<Item>)
Variant37(PathSegment)
Variant38(Vec<PathSegment>)
Variant39(RefineArg)
Variant40(Vec<RefineArg>)
Variant41(Vec<RefineParam>)
Variant42(Requires)
Variant43(Vec<Requires>)
Variant44(Vec<Ty>)
Variant45(WhereBoundPredicate)
Variant46(Vec<WhereBoundPredicate>)
Variant47((Ty, Token))
Variant48(Vec<(Ty, Token)>)
Variant49(Location)
Variant50(Async)
Variant51(Option<BaseSort>)
Variant52(BaseTy)
Variant53(BaseTyKind)
Variant54(BinOp)
Variant55(Vec<RefineParam>)
Variant56(Vec<ConstructorArg>)
Variant57(Vec<Expr>)
Variant58(Vec<FnInput>)
Variant59(Vec<GenericArg>)
Variant60(Vec<GenericParam>)
Variant61(Vec<Ident>)
Variant62(Vec<RefineArg>)
Variant63(Vec<Ty>)
Variant64(ConstArg)
Variant65(Option<ConstructorArg>)
Variant66(ExprPath)
Variant67(Option<FnInput>)
Variant68(FnSig)
Variant69(Option<GenericArg>)
Variant70(Option<Vec<GenericArg>>)
Variant71(GenericBounds)
Variant72(Option<GenericParam>)
Variant73(Generics)
Variant74(Option<Ident>)
Variant75(ImplAssocReft)
Variant76(Indices)
Variant77(Vec<Item>)
Variant78(Lit)
Variant79(ParamMode)
Variant80(Option<ParamMode>)
Variant81(Path)
Variant82(Vec<PathSegment>)
Variant83(Punctuated<Ty, Token>)
Variant84(QualNames)
Variant85(Qualifier)
Variant86(Option<RefineArg>)
Variant87(Option<Vec<RefineArg>>)
Variant88(Sort)
Variant89(SortDecl)
Variant90(Vec<Ident>)
Variant91(Option<Vec<Ident>>)
Variant92(SpecFunc)
Variant93(TraitAssocReft)
Variant94(TyAlias)
Variant95(TyKind)
Variant96(UnOp)
Variant97(VariantDef)
Variant98(VariantRet)
Variant99(Option<VariantRet>)
Variant100(Option<WhereBoundPredicate>)
Auto Trait Implementations§
impl Freeze for __Symbol
impl RefUnwindSafe for __Symbol
impl Send for __Symbol
impl Sync for __Symbol
impl Unpin for __Symbol
impl UnwindSafe for __Symbol
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