1 files changed, 22 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-18232.rs b/src/test/ui/issues/issue-18232.rs
new file mode 100644
index 000000000..7e6f6ef0f
--- /dev/null
+++ b/src/test/ui/issues/issue-18232.rs
@@ -0,0 +1,22 @@
+// run-pass
+// pretty-expanded FIXME #23616
+
+struct Cursor<'a>(::std::marker::PhantomData<&'a ()>);
+
+trait CursorNavigator {
+    fn init_cursor<'a, 'b:'a>(&'a self, cursor: &mut Cursor<'b>) -> bool;
+}
+
+struct SimpleNavigator;
+
+impl CursorNavigator for SimpleNavigator {
+    fn init_cursor<'a, 'b: 'a>(&'a self, _cursor: &mut Cursor<'b>) -> bool {
+        false
+    }
+}
+
+fn main() {
+    let mut c = Cursor(::std::marker::PhantomData);
+    let n = SimpleNavigator;
+    n.init_cursor(&mut c);
+}