src/test/ui/associated-types/issue-48010.rs

   1 // check-pass
   2
   3 #![crate_type = "lib"]
   4
   5 pub struct Foo;
   6
   7 pub struct Path<T: Bar> {
   8     _inner: T::Slice,
   9 }
  10
  11 pub trait Bar: Sized {
  12     type Slice: ?Sized;
  13
  14     fn open(_: &Path<Self>);
  15 }
  16
  17 impl Bar for Foo {
  18     type Slice = [u8];
  19
  20     fn open(_: &Path<Self>) {
  21         unimplemented!()
  22     }
  23 }