From f6b1282eee33e2967775b8139614de361bf3c6f2 Mon Sep 17 00:00:00 2001
From: Scott Olson <scott@solson.me>
Date: Mon, 21 Mar 2016 18:53:39 -0600
Subject: [PATCH] Add a commented-out RefCell test.

---
 test/std.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/test/std.rs b/test/std.rs
index fec584585858..17511a193718 100644
--- a/test/std.rs
+++ b/test/std.rs
@@ -11,6 +11,17 @@ fn rc_cell() -> i32 {
     r.get()
 }
 
+// TODO(tsion): borrow code needs to evaluate string statics via Lvalue::Static
+// #[miri_run]
+// fn rc_refcell() -> i32 {
+//     use std::rc::Rc;
+//     use std::cell::RefCell;
+//     let r = Rc::new(RefCell::new(42));
+//     *r.borrow_mut() += 10;
+//     let x = *r.borrow();
+//     x
+// }
+
 #[miri_run]
 fn arc() -> i32 {
     use std::sync::Arc;