summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/borrowck-mutate-in-guard.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/borrowck/borrowck-mutate-in-guard.rs')
-rw-r--r--src/test/ui/borrowck/borrowck-mutate-in-guard.rs21
1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/borrowck/borrowck-mutate-in-guard.rs b/src/test/ui/borrowck/borrowck-mutate-in-guard.rs
new file mode 100644
index 000000000..9cbceeb94
--- /dev/null
+++ b/src/test/ui/borrowck/borrowck-mutate-in-guard.rs
@@ -0,0 +1,21 @@
+enum Enum<'a> {
+ A(&'a isize),
+ B(bool),
+}
+
+fn foo() -> isize {
+ let mut n = 42;
+ let mut x = Enum::A(&mut n);
+ match x {
+ Enum::A(_) if { x = Enum::B(false); false } => 1,
+ //~^ ERROR cannot assign `x` in match guard
+ Enum::A(_) if { let y = &mut x; *y = Enum::B(false); false } => 1,
+ //~^ ERROR cannot mutably borrow `x` in match guard
+ Enum::A(p) => *p,
+ Enum::B(_) => 2,
+ }
+}
+
+fn main() {
+ foo();
+}