about summary refs log tree commit diff
path: root/tests/ui/lint/dangling-pointers-from-temporaries/ext.rs
blob: a5e84d36090fc5a5914ac7b6dde8722b59ec7e14 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
#![deny(dangling_pointers_from_temporaries)]

use std::fmt::Debug;

trait Ext1 {
    fn dbg(self) -> Self
    where
        Self: Sized + Debug,
    {
        dbg!(&self);
        self
    }
}

impl<T> Ext1 for *const T {}

trait Ext2 {
    fn foo(self);
}

impl Ext2 for *const u32 {
    fn foo(self) {
        dbg!(unsafe { self.read() });
    }
}

fn main() {
    let _ptr1 = Vec::<u32>::new().as_ptr().dbg();
    //~^ ERROR a dangling pointer will be produced because the temporary `Vec<u32>` will be dropped
    let _ptr2 = vec![0].as_ptr().foo();
    //~^ ERROR a dangling pointer will be produced because the temporary `Vec<u32>` will be dropped
}