// check-pass

#![crate_type = "lib"]

pub struct Foo;

pub struct Path<T: Bar> {
    _inner: T::Slice,
}

pub trait Bar: Sized {
    type Slice: ?Sized;

    fn open(_: &Path<Self>);
}

impl Bar for Foo {
    type Slice = [u8];

    fn open(_: &Path<Self>) {
        unimplemented!()
    }
}