diff --git a/examples/borrow4.rs b/examples/borrow4.rs
new file mode 100644
index 0000000000000000000000000000000000000000..19ef088310bf4f7be5042ac89a9eb84a3b2d5367
--- /dev/null
+++ b/examples/borrow4.rs
@@ -0,0 +1,7 @@
+fn f(y: &mut bool) {
+    *y = true;
+}
+fn main() {
+    let mut b = false;
+    f(&mut b);
+}
diff --git a/examples/borrow5.rs b/examples/borrow5.rs
new file mode 100644
index 0000000000000000000000000000000000000000..de29ec4533644e8cdc897d945bce7e1d7d75bded
--- /dev/null
+++ b/examples/borrow5.rs
@@ -0,0 +1,7 @@
+fn f(b: &mut bool) {
+    *b = true;
+}
+fn main() {
+    let mut b = false;
+    f(&mut b);
+}