summaryrefslogtreecommitdiffstats
path: root/tests/ui/consts/const-eval/generic-slice.rs
blob: 21360a1c471f652b54fe67d8cb14ccdea97cf7d4 (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
// Several variants of #64945.

// This struct is not important, we just use it to put `T` and `'a` in scope for our associated
// consts.
struct Generic<'a, T>(std::marker::PhantomData<&'a T>);

impl<'a, T: 'static> Generic<'a, T> {
    const EMPTY_SLICE: &'a [T] = {
        let x: &'a [T] = &[];
        x
    };

    const EMPTY_SLICE_REF: &'a &'static [T] = {
        let x: &'static [T] = &[];
        &x
        //~^ ERROR `x` does not live long enough
    };
}

static mut INTERIOR_MUT_AND_DROP: &'static [std::cell::RefCell<Vec<i32>>] = {
    let x: &[_] = &[];
    x
};

static mut INTERIOR_MUT_AND_DROP_REF: &'static &'static [std::cell::RefCell<Vec<i32>>] = {
    let x: &[_] = &[];
    &x
    //~^ ERROR `x` does not live long enough
};

fn main() {}