From bcda5b0a424dcd3419592c108ff6dfc424f50d89 Mon Sep 17 00:00:00 2001
From: Rustln <rustln@outlook.com>
Date: Fri, 18 Mar 2022 17:09:41 +0800
Subject: [PATCH] Fix loose code description.

---
 src/advance/lifetime/basic.md | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/src/advance/lifetime/basic.md b/src/advance/lifetime/basic.md
index cc8da0a9..835f4b28 100644
--- a/src/advance/lifetime/basic.md
+++ b/src/advance/lifetime/basic.md
@@ -578,7 +578,19 @@ Bang，一个复杂的玩意儿被甩到了你面前，就问怕不怕？
 就关键点稍微解释下：
 
 - `'a: 'b`，是生命周期约束语法，跟泛型约束非常相似，用于说明 `'a` 必须比 `'b` 活得久
-- 为了实现这一点，必须把 `'a` 和 `'b` 都在同一个地方声明，你不能把 `'a` 在 `impl` 后面声明，而把 `'b` 在方法中声明
+- 可以把 'a 和 'b 都在同一个地方声明（如上），或者分开声明但通过 `where` 约束生命周期关系，如下：
+
+```rust
+impl<'a> ImportantExcerpt<'a> {
+    fn announce_and_return_part<'b>(&'a self, announcement: &'b str) -> &'b str
+    where
+        'a: 'b,
+    {
+        println!("Attention please: {}", announcement);
+        self.part
+    }
+}
+```
 
 总之，实现方法比想象中简单：加一个约束，就能暗示编译器，尽管引用吧，反正我想引用的内容比我活得久，爱咋咋地，我怎么都不会引用到无效的内容！