Update subtyping.md

pull/464/head
nomicon-kr 9 months ago committed by GitHub
parent 2ff36c599e
commit 6734d922f5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -211,7 +211,7 @@ fn debug<T: std::fmt::Debug>(a: T, b: T) {
이것은 `'static <: 'b`이면 성립할 텐데, 이 조건은 참이므로, 컴파일러는 행복하게 이 코드의 컴파일을 계속하게 됩니다.
보시다 보면 알겠지만, 왜 `Box`(와 `Vec`, `HashMap`, 등등)가 공변해도 괜찮은지는 수명이 왜 공변해도 괜찮은지와 비슷합니다:
당신이 이것들에 가변 레퍼런스 같은 것을 끼워넣으려고 한다면, 그들은 무변성을 상속받고 당신은 안 좋은 짓을 하는 것에서 방지됩니다.
당신이 이것들에 가변 레퍼런스 같은 것을 끼워넣으려고 한다면, 그들은 무변성을 상속받고 당신은 안 좋은 짓을 하는 것에서 방지될 테니까요.

Loading…
Cancel
Save