From c4db8e40ede8473c25baf4a8199aaeabfcd6f2c7 Mon Sep 17 00:00:00 2001
From: nomicon-kr <djwodus18@naver.com>
Date: Sat, 6 Jul 2024 09:51:26 +0900
Subject: [PATCH] Update aliasing.md

---
 src/aliasing.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/aliasing.md b/src/aliasing.md
index e225d68..0752edc 100644
--- a/src/aliasing.md
+++ b/src/aliasing.md
@@ -95,7 +95,7 @@ fn compute(input: &u32, output: &mut u32) {
 }
 ```
 
-
+우리는 아직도 `input`이 `temp`의 복제가 아니라는 것을 짐작하기 위해 복제 분석에 의존하지만, 증명은 훨씬 간단해집니다: 지역 변수의 값은 그것이 정의되기 전에 존재하던 것
 
 We're still relying on alias analysis to assume that `input` doesn't alias
 `temp`, but the proof is much simpler: the value of a local variable can't be