This commit is contained in:
Travis Cross 2024-05-07 17:03:04 +00:00
parent 2c106c3c7e
commit c1192da628
1 changed files with 1 additions and 1 deletions

View File

@ -156,7 +156,7 @@ Three, if we were to say that the proof obligation of ensuring the signature of
## Prefix only `extern` with `safe` or `unsafe`
One could ask, who not prefix *only* `extern` with `safe` or `unsafe`? E.g.:
One could ask, why not prefix *only* `extern` with `safe` or `unsafe`? E.g.:
```rust
safe extern {