File tree Expand file tree Collapse file tree 1 file changed +7
-0
lines changed Expand file tree Collapse file tree 1 file changed +7
-0
lines changed Original file line number Diff line number Diff line change @@ -314,10 +314,17 @@ borrowed data in a value to outlive that value, which is certainly sound.
314314ある値の中の全ての借用されたデータが、その値よりも長生きするよう強制するのです。
315315これは明らかに健全です。
316316
317+ <!--
317318Future versions of the language may make the analysis more precise, to
318319reduce the number of cases where sound code is rejected as unsafe.
319320This would help address cases such as the two Inspectors above that
320321know not to inspect during destruction.
322+ -->
323+
324+ 将来の Rust のバージョンでは、健全なコードがアンセーフとして弾かれるケースの
325+ 数を減らすため、分析がより正確になるかもしれません。
326+ これは、デストラクションの際にデータにアクセスしないと分かっている、
327+ 上記の 2 つの Inspector のようなケースに対処するのを手助けしてくれるでしょう。
321328
322329In the meantime, there is an unstable attribute that one can use to
323330assert (unsafely) that a generic type's destructor is * guaranteed* to
You can’t perform that action at this time.
0 commit comments