tests/ui/borrowck/bad-drop-side-effects.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// Regression test for <https://github.com/rust-lang/rust/issues/137288>.

trait B {
    type C;
}

impl<U> B for &Missing {
//~^ ERROR cannot find type `Missing` in this scope
    type C = ();
}

struct E<T: B> {
    g: <T as B>::C,
}

fn h(i: Box<E<&()>>) {}

fn main() {}