From 6734d922f5bb620b5dd32ba36e330b99e08d1b41 Mon Sep 17 00:00:00 2001 From: nomicon-kr Date: Wed, 17 Jul 2024 18:46:30 +0900 Subject: [PATCH] Update subtyping.md --- src/subtyping.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/subtyping.md b/src/subtyping.md index b3bb3db..df13f25 100644 --- a/src/subtyping.md +++ b/src/subtyping.md @@ -211,7 +211,7 @@ fn debug(a: T, b: T) { 이것은 `'static <: 'b`이면 성립할 텐데, 이 조건은 참이므로, 컴파일러는 행복하게 이 코드의 컴파일을 계속하게 됩니다. 보시다 보면 알겠지만, 왜 `Box`(와 `Vec`, `HashMap`, 등등)가 공변해도 괜찮은지는 수명이 왜 공변해도 괜찮은지와 비슷합니다: -당신이 이것들에 가변 레퍼런스 같은 것을 끼워넣으려고 한다면, 그들은 무변성을 상속받고 당신은 안 좋은 짓을 하는 것에서 방지됩니다. +당신이 이것들에 가변 레퍼런스 같은 것을 끼워넣으려고 한다면, 그들은 무변성을 상속받고 당신은 안 좋은 짓을 하는 것에서 방지될 테니까요.