summaryrefslogtreecommitdiffstats
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 000000000..941c9eeb4
--- /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() {
+}