Trait HasSpan

pub trait HasSpan<'ast>: Sealed {
    // Required method
    fn span(&self) -> &Span<'ast>;
}

A trait for types, that provide a Span. It is implemented for all AST nodes, Span itself, and for references to them as well.

This gives you the ability to invoke functions that take impl HasSpan in many different ways. Just choose the one that fits your use case the best.

fn takes_span<'ast>(span: impl HasSpan<'ast>) {
    let span: &Span<'ast> = span.span();
    // ...
}

fn visit_expr(expr: ExprKind<'_>) {
    takes_span(expr);
    takes_span(&expr);
    takes_span(expr.span());
    takes_span(&expr.span());
}

Required Methods

fn span(&self) -> &Span<'ast>

This returns the Span of the implementing AST node.

Implementations on Foreign Types

impl<'ast, N: HasSpan<'ast>> HasSpan<'ast> for &N

fn span(&self) -> &Span<'ast>

Implementors

impl<'ast> HasSpan<'ast> for AssocItemKind<'ast>

impl<'ast> HasSpan<'ast> for ExprKind<'ast>

impl<'ast> HasSpan<'ast> for ExternItemKind<'ast>

impl<'ast> HasSpan<'ast> for ItemKind<'ast>

impl<'ast> HasSpan<'ast> for LitExprKind<'ast>

impl<'ast> HasSpan<'ast> for StmtKind<'ast>

impl<'ast> HasSpan<'ast> for TyKind<'ast>

impl<'ast> HasSpan<'ast> for ArrayExpr<'ast>

impl<'ast> HasSpan<'ast> for ArrayTy<'ast>

impl<'ast> HasSpan<'ast> for AsExpr<'ast>

impl<'ast> HasSpan<'ast> for AssignExpr<'ast>

impl<'ast> HasSpan<'ast> for AwaitExpr<'ast>

impl<'ast> HasSpan<'ast> for BinaryOpExpr<'ast>

impl<'ast> HasSpan<'ast> for BlockExpr<'ast>

impl<'ast> HasSpan<'ast> for BoolLitExpr<'ast>

impl<'ast> HasSpan<'ast> for BoolTy<'ast>

impl<'ast> HasSpan<'ast> for BreakExpr<'ast>

impl<'ast> HasSpan<'ast> for CallExpr<'ast>

impl<'ast> HasSpan<'ast> for CharLitExpr<'ast>

impl<'ast> HasSpan<'ast> for ClosureExpr<'ast>

impl<'ast> HasSpan<'ast> for ClosureParam<'ast>

impl<'ast> HasSpan<'ast> for ConstItem<'ast>

impl<'ast> HasSpan<'ast> for ContinueExpr<'ast>

impl<'ast> HasSpan<'ast> for CtorExpr<'ast>

impl<'ast> HasSpan<'ast> for EnumItem<'ast>

impl<'ast> HasSpan<'ast> for EnumVariant<'ast>

impl<'ast> HasSpan<'ast> for ExprStmt<'ast>

impl<'ast> HasSpan<'ast> for ExternBlockItem<'ast>

impl<'ast> HasSpan<'ast> for ExternCrateItem<'ast>

impl<'ast> HasSpan<'ast> for FieldExpr<'ast>

impl<'ast> HasSpan<'ast> for FloatLitExpr<'ast>

impl<'ast> HasSpan<'ast> for FnItem<'ast>

impl<'ast> HasSpan<'ast> for FnParam<'ast>

impl<'ast> HasSpan<'ast> for FnPtrTy<'ast>

impl<'ast> HasSpan<'ast> for FnTyParameter<'ast>

impl<'ast> HasSpan<'ast> for ForExpr<'ast>

impl<'ast> HasSpan<'ast> for IfExpr<'ast>

impl<'ast> HasSpan<'ast> for ImplItem<'ast>

impl<'ast> HasSpan<'ast> for ImplTraitTy<'ast>

impl<'ast> HasSpan<'ast> for IndexExpr<'ast>

impl<'ast> HasSpan<'ast> for InferredTy<'ast>

impl<'ast> HasSpan<'ast> for IntLitExpr<'ast>

impl<'ast> HasSpan<'ast> for ItemField<'ast>

impl<'ast> HasSpan<'ast> for ItemStmt<'ast>

impl<'ast> HasSpan<'ast> for LetExpr<'ast>

impl<'ast> HasSpan<'ast> for LetStmt<'ast>

impl<'ast> HasSpan<'ast> for LoopExpr<'ast>

impl<'ast> HasSpan<'ast> for MatchExpr<'ast>

impl<'ast> HasSpan<'ast> for MethodExpr<'ast>

impl<'ast> HasSpan<'ast> for ModItem<'ast>

impl<'ast> HasSpan<'ast> for NeverTy<'ast>

impl<'ast> HasSpan<'ast> for NumTy<'ast>

impl<'ast> HasSpan<'ast> for PathExpr<'ast>

impl<'ast> HasSpan<'ast> for PathTy<'ast>

impl<'ast> HasSpan<'ast> for RangeExpr<'ast>

impl<'ast> HasSpan<'ast> for RawPtrTy<'ast>

impl<'ast> HasSpan<'ast> for RefExpr<'ast>

impl<'ast> HasSpan<'ast> for RefTy<'ast>

impl<'ast> HasSpan<'ast> for ReturnExpr<'ast>

impl<'ast> HasSpan<'ast> for SliceTy<'ast>

impl<'ast> HasSpan<'ast> for StaticItem<'ast>

impl<'ast> HasSpan<'ast> for StrLitExpr<'ast>

impl<'ast> HasSpan<'ast> for StructFieldPat<'ast>

impl<'ast> HasSpan<'ast> for StructItem<'ast>

impl<'ast> HasSpan<'ast> for TextTy<'ast>

impl<'ast> HasSpan<'ast> for TraitItem<'ast>

impl<'ast> HasSpan<'ast> for TraitObjTy<'ast>

impl<'ast> HasSpan<'ast> for TryExpr<'ast>

impl<'ast> HasSpan<'ast> for TupleExpr<'ast>

impl<'ast> HasSpan<'ast> for TupleTy<'ast>

impl<'ast> HasSpan<'ast> for TyAliasItem<'ast>

impl<'ast> HasSpan<'ast> for UnaryOpExpr<'ast>

impl<'ast> HasSpan<'ast> for UnionItem<'ast>

impl<'ast> HasSpan<'ast> for UnstableExpr<'ast>

impl<'ast> HasSpan<'ast> for UnstableItem<'ast>

impl<'ast> HasSpan<'ast> for UseItem<'ast>

impl<'ast> HasSpan<'ast> for WhileExpr<'ast>

impl<'ast> HasSpan<'ast> for Ident<'ast>

impl<'ast> HasSpan<'ast> for Span<'ast>