src/test/ui/lifetimes/elided-lifetime-in-path-in-type-relative-expression.rs


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

// check-pass

struct Sqlite {}

trait HasArguments<'q> {
    type Arguments;
}

impl<'q> HasArguments<'q> for Sqlite {
    type Arguments = std::marker::PhantomData<&'q ()>;
}

fn foo() {
    let _ = <Sqlite as HasArguments>::Arguments::default();
}

fn main() {}