about summary refs log tree commit diff
path: root/tests/ui/nll/issue-53123-raw-pointer-cast.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/nll/issue-53123-raw-pointer-cast.rs')
-rw-r--r--tests/ui/nll/issue-53123-raw-pointer-cast.rs26
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/ui/nll/issue-53123-raw-pointer-cast.rs b/tests/ui/nll/issue-53123-raw-pointer-cast.rs
new file mode 100644
index 00000000000..941c9eeb411
--- /dev/null
+++ b/tests/ui/nll/issue-53123-raw-pointer-cast.rs
@@ -0,0 +1,26 @@
+// run-pass
+
+#![allow(unused_variables)]
+
+pub trait TryTransform {
+    fn try_transform<F>(self, f: F)
+    where
+        Self: Sized,
+        F: FnOnce(Self);
+}
+
+impl<'a, T> TryTransform for &'a mut T {
+    fn try_transform<F>(self, f: F)
+    where
+        // The bug was that `Self: Sized` caused the lifetime of `this` to "extend" for all
+        // of 'a instead of only lasting as long as the binding is used (for just that line).
+        Self: Sized,
+        F: FnOnce(Self),
+    {
+        let this: *mut T = self as *mut T;
+        f(self);
+    }
+}
+
+fn main() {
+}