diff options
| author | lcnr <rust@lcnr.de> | 2023-05-29 17:49:19 +0200 |
|---|---|---|
| committer | Mark Rousskov <mark.simulacrum@gmail.com> | 2023-06-03 12:17:58 -0400 |
| commit | 8bc8defeeebc9148a7f88d2fdf04733fc6ccd6b5 (patch) | |
| tree | 729cc00a10b0e59b800436f22e2a21af8b1a00a4 /compiler/rustc_middle | |
| parent | 6aba7e8c43c2c1dbd8ff9d1abd8e3084068479f8 (diff) | |
| download | rust-8bc8defeeebc9148a7f88d2fdf04733fc6ccd6b5.tar.gz rust-8bc8defeeebc9148a7f88d2fdf04733fc6ccd6b5.zip | |
add FIXME
Diffstat (limited to 'compiler/rustc_middle')
| -rw-r--r-- | compiler/rustc_middle/src/mir/syntax.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/mir/syntax.rs b/compiler/rustc_middle/src/mir/syntax.rs index 6d6d71bc87b..3e474c1d377 100644 --- a/compiler/rustc_middle/src/mir/syntax.rs +++ b/compiler/rustc_middle/src/mir/syntax.rs @@ -220,6 +220,11 @@ pub enum BorrowKind { /// immutable, but not aliasable. This solves the problem. For /// simplicity, we don't give users the way to express this /// borrow, it's just used when translating closures. + /// + // FIXME(#112072): This is wrong. Unique borrows are mutable borrows except + // that they do not require their pointee to be marked as a mutable. + // They should still be treated as mutable borrows in every other way, + // e.g. for variance or overlap checking. Unique, /// Data is mutable and not aliasable. |