Skip to content

Commit 1de7dc2

Browse files
committed
Translate a paragraph
1 parent b5a492e commit 1de7dc2

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

src/dropck.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -357,9 +357,15 @@ unsafe impl<#[may_dangle] 'a> Drop for Inspector<'a> {
357357
}
358358
```
359359

360+
<!--
360361
Use of this attribute requires the `Drop` impl to be marked `unsafe` because the
361362
compiler is not checking the implicit assertion that no potentially expired data
362363
(e.g. `self.0` above) is accessed.
364+
-->
365+
366+
このアトリビュートを使用する場合、 `Drop` の impl が `unsafe` でマークされる必要があります。
367+
なぜならコンパイラは、いかなる既に破棄されているかもしれないデータ (例えば上記の `self.0`) にアクセスしないという
368+
暗黙の主張について検査しないからです。
363369

364370
The attribute can be applied to any number of lifetime and type parameters. In
365371
the following example, we assert that we access no data behind a reference of

0 commit comments

Comments
 (0)