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

   1 // check-pass
   2
   3 struct Sqlite {}
   4
   5 trait HasArguments<'q> {
   6     type Arguments;
   7 }
   8
   9 impl<'q> HasArguments<'q> for Sqlite {
  10     type Arguments = std::marker::PhantomData<&'q ()>;
  11 }
  12
  13 fn foo() {
  14     let _ = <Sqlite as HasArguments>::Arguments::default();
  15 }
  16
  17 fn main() {}