Add test for issue-48010

This commit is contained in:
Yuki Okushi 2019-10-14 10:46:58 +09:00
parent 6323180b4a
commit f653db92d6

View File

@ -0,0 +1,23 @@
// 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!()
}
}