tests/ui/mir/inline-causes-trimmed-paths.rs


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
33
34
35
36

//@ build-pass
//@ compile-flags: -Zinline-mir

trait Storage {
    type Buffer: ?Sized;
}

struct Array<const N: usize>;
impl<const N: usize> Storage for Array<N> {
    type Buffer = [(); N];
}

struct Slice;
impl Storage for Slice {
    type Buffer = [()];
}

struct Wrap<S: Storage> {
    _b: S::Buffer,
}

fn coerce<const N: usize>(this: &Wrap<Array<N>>) -> &Wrap<Slice>
where
    Array<N>: Storage,
{
    coerce_again(this)
}

fn coerce_again<const N: usize>(this: &Wrap<Array<N>>) -> &Wrap<Slice> {
    this
}

fn main() {
    let inner: Wrap<Array<1>> = Wrap { _b: [(); 1] };
    let _: &Wrap<Slice> = coerce(&inner);
}