Translate "sound" to 健全

sound has the meaning of healthy, but サウンド does not have one.

Author: toku-sa-n

src/dropck.md

@@ -175,8 +175,8 @@ section:
 
 興味深いことに、ジェネリックな型だけがこれを気に掛ける必要があります。
 もし型がジェネリックでなければ、型が隠蔽できる唯一のライフタイムは `'static` です。
-このライフタイムは本当に*永遠に*生き続けます。これが、この問題が*サウンドジェネリックドロップ*として
-呼ばれている理由です。サウンドジェネリックドロップは*ドロップチェッカ*によって実行されます。
+このライフタイムは本当に*永遠に*生き続けます。これが、この問題が*健全ジェネリックドロップ*として
+呼ばれている理由です。健全ジェネリックドロップは*ドロップチェッカ*によって実行されます。
 Rust nomicon の英語版のこの章が書かれた時点で、ドロップチェッカがどのように型の有効性を
 確かめるかについてのより細かい部分については全く決まっていません。しかし、大まかな規則は、
 この章全体で注目してきた僅かなものです。
@@ -186,7 +186,7 @@ Rust nomicon の英語版のこの章が書かれた時点で、ドロップチ
 strictly outlive it.**
 -->
 
-**ジェネリックな型に、問題なくドロップを実装するためには、そのジェネリックな引数は厳密に
+**ジェネリックな型に、健全なドロップを実装するためには、そのジェネリックな引数は厳密に
 ジェネリックな型よりも長生きしなければなりません**
 
 <!--