blob: ad37c0f82c24b72f073021609eb592e76ea85b07 [file] [log] [blame]
//@ 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!()
}
}