diff options
| author | Matthew Healy <matthew.healy@soundcloud.com> | 2019-12-17 23:41:55 +0100 |
|---|---|---|
| committer | Matthew Healy <matthew.healy@soundcloud.com> | 2019-12-17 23:41:55 +0100 |
| commit | e77a55b5d91a7876e4ba23179d15ed0ce4affeb7 (patch) | |
| tree | 2fd38a6da5d6da6039111b87c35c95286c793647 /src/libsyntax | |
| parent | 99b89533d4cdf7682ea4054ad0ee36c351d05df1 (diff) | |
| download | rust-e77a55b5d91a7876e4ba23179d15ed0ce4affeb7.tar.gz rust-e77a55b5d91a7876e4ba23179d15ed0ce4affeb7.zip | |
Remove outdated references to @T from comments
Diffstat (limited to 'src/libsyntax')
| -rw-r--r-- | src/libsyntax/ptr.rs | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/libsyntax/ptr.rs b/src/libsyntax/ptr.rs index d987dc855b6..e75cc8b1756 100644 --- a/src/libsyntax/ptr.rs +++ b/src/libsyntax/ptr.rs @@ -1,17 +1,12 @@ //! The AST pointer. //! -//! Provides `P<T>`, a frozen owned smart pointer, as a replacement for `@T` in -//! the AST. +//! Provides `P<T>`, a frozen 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). The only reason `@T` in the -//! AST hasn't caused issues is because of inefficient folding passes which -//! would always deduplicate any such shared nodes. Even if the AST were to -//! switch to an arena, this would still hold, i.e., it couldn't use `&'a T`, -//! but rather a wrapper like `P<'a, T>`. +//! `ExprKind::AddrOf` node taking a mutable borrow). //! //! * **Immutability**: `P<T>` disallows mutating its inner `T`, unlike `Box<T>` //! (unless it contains an `Unsafe` interior, but that may be denied later). |
