From 88e62a96ce9d068382347ee047b0b382dc7c4784 Mon Sep 17 00:00:00 2001 From: Steve Klabnik Date: Mon, 18 Aug 2014 13:10:25 -0400 Subject: [PATCH] Remove 'static analysis' This has certain implications that are wrong. Fixes #16299. --- src/doc/guide.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/doc/guide.md b/src/doc/guide.md index 2593ddc556b..50b64279b50 100644 --- a/src/doc/guide.md +++ b/src/doc/guide.md @@ -3669,10 +3669,9 @@ manually free this allocation! If we write ``` then Rust will automatically free `x` at the end of the block. This isn't -because Rust has a garbage collector -- it doesn't. Instead, Rust uses static -analysis to determine the *lifetime* of `x`, and then generates code to free it -once it's sure the `x` won't be used again. This Rust code will do the same -thing as the following C code: +because Rust has a garbage collector -- it doesn't. Instead, when `x` goes out +of scope, Rust `free`s `x`. This Rust code will do the same thing as the +following C code: ```{c,ignore} {