diff options
| author | GAJaloyan <georges-axel.jaloyan@ens.fr> | 2017-03-24 17:47:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-24 17:47:23 +0100 |
| commit | 03949f5b5caa330375bb33d7b91b5fc24bd8c92e (patch) | |
| tree | 7aa7be52240f754acbda8efdb29d379e8ac6636f | |
| parent | 366386c46dbe660947de21dfd04eace5486e2f00 (diff) | |
| download | rust-03949f5b5caa330375bb33d7b91b5fc24bd8c92e.tar.gz rust-03949f5b5caa330375bb33d7b91b5fc24bd8c92e.zip | |
issue #40793
Correcting the two mistakes in the README.md
| -rw-r--r-- | src/librustc_borrowck/borrowck/README.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustc_borrowck/borrowck/README.md b/src/librustc_borrowck/borrowck/README.md index 5cfbd59d333..29b007a7499 100644 --- a/src/librustc_borrowck/borrowck/README.md +++ b/src/librustc_borrowck/borrowck/README.md @@ -347,7 +347,7 @@ ALIASABLE(*LV, MQ) // M-Deref-Unique ALIASABLE(LV, MQ) ``` -### Checking mutability of immutable pointer types +### Checking aliasability of immutable pointer types Immutable pointer types like `&T` are aliasable, and hence can only be borrowed immutably: @@ -357,7 +357,7 @@ ALIASABLE(*LV, imm) // M-Deref-Borrowed-Imm TYPE(LV) = &Ty ``` -### Checking mutability of mutable pointer types +### Checking aliasability of mutable pointer types `&mut T` can be frozen, so it is acceptable to borrow it as either imm or mut: |