diff --git a/examples/borrow2.rs b/examples/borrow2.rs
index 3adba68694e927e9b7ce5d5eb714cf065673ccf3..f84101eb46b865ce539d4791beae9ec10f265342 100644
--- a/examples/borrow2.rs
+++ b/examples/borrow2.rs
@@ -1,5 +1,5 @@
 fn f(a: &i32, b: &mut i32) {}
 fn main() {
     let mut a = 1;
-    f(&a, &mut a)
+    f(&mut a, &mut a)
 }
diff --git a/examples/borrow3.rs b/examples/borrow3.rs
new file mode 100644
index 0000000000000000000000000000000000000000..f2aac53873d4913948dd0f602ecafe361a3e22a3
--- /dev/null
+++ b/examples/borrow3.rs
@@ -0,0 +1,7 @@
+fn f(a: &i32, b: &mut i32) {}
+fn main() {
+    let mut a = 1;
+    let b = &mut a;
+    let c = &mut a;
+    let d = *b + *c;
+}
diff --git a/tests/test_check.rs b/tests/test_check.rs
index 484e5c8ef3aaba922a25438f891aca34fc9cddba..c62dd64da9cf62024d5eb0b446ee022bceb0f64b 100644
--- a/tests/test_check.rs
+++ b/tests/test_check.rs
@@ -180,3 +180,8 @@ fn borrow() {
 fn borrow2() {
     check(&read_file::parse("examples/borrow2.rs")).unwrap();
 }
+
+#[test]
+fn borrow3() {
+    check(&read_file::parse("examples/borrow3.rs")).unwrap();
+}