Module rustc_ast::ptr

source ·
Expand description

The AST pointer.

Provides P<T>, an owned smart pointer.

§Motivations and benefits

  • Identity: sharing AST nodes is problematic for the various analysis passes (e.g., one may be able to bypass the borrow checker with a shared ExprKind::AddrOf node taking a mutable borrow).

  • Efficiency: folding can reuse allocation space for P<T> and Vec<T>, the latter even when the input and output types differ (as it would be the case with arenas or a GADT AST using type parameters to toggle features).

  • Maintainability: P<T> provides an interface, which can remain fully functional even if the implementation changes (using a special thread-local heap, for example). Moreover, a switch to, e.g., P<'a, T> would be easy and mostly automated.

Structs§

  • An owned smart pointer.

Functions§

  • Construct a P<T> from a T value.