From f653db92d691ba3ebeb77dc75b6cb51cbf31519b Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Mon, 14 Oct 2019 10:46:58 +0900 Subject: [PATCH] Add test for issue-48010 --- src/test/ui/associated-types/issue-48010.rs | 23 +++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 src/test/ui/associated-types/issue-48010.rs diff --git a/src/test/ui/associated-types/issue-48010.rs b/src/test/ui/associated-types/issue-48010.rs new file mode 100644 index 000000000000..70e30c132d05 --- /dev/null +++ b/src/test/ui/associated-types/issue-48010.rs @@ -0,0 +1,23 @@ +// check-pass + +#![crate_type = "lib"] + +pub struct Foo; + +pub struct Path { + _inner: T::Slice, +} + +pub trait Bar: Sized { + type Slice: ?Sized; + + fn open(_: &Path); +} + +impl Bar for Foo { + type Slice = [u8]; + + fn open(_: &Path) { + unimplemented!() + } +}