summaryrefslogtreecommitdiffstats
path: root/src/test/ui/methods/method-early-bound-lifetimes-on-self.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/methods/method-early-bound-lifetimes-on-self.rs')
-rw-r--r--src/test/ui/methods/method-early-bound-lifetimes-on-self.rs31
1 files changed, 31 insertions, 0 deletions
diff --git a/src/test/ui/methods/method-early-bound-lifetimes-on-self.rs b/src/test/ui/methods/method-early-bound-lifetimes-on-self.rs
new file mode 100644
index 000000000..f2ace32c6
--- /dev/null
+++ b/src/test/ui/methods/method-early-bound-lifetimes-on-self.rs
@@ -0,0 +1,31 @@
+// run-pass
+// Check that we successfully handle methods where the `self` type has
+// an early-bound lifetime. Issue #18208.
+
+// pretty-expanded FIXME #23616
+
+#![allow(dead_code)]
+
+use std::marker;
+
+struct Cursor<'a> {
+ m: 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 { m: marker::PhantomData };
+ let n = SimpleNavigator;
+ n.init_cursor(&mut c);
+}