diff options
Diffstat (limited to 'src/test/ui/traits/issue-91594.rs')
-rw-r--r-- | src/test/ui/traits/issue-91594.rs | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/test/ui/traits/issue-91594.rs b/src/test/ui/traits/issue-91594.rs deleted file mode 100644 index 930f7f0c6..000000000 --- a/src/test/ui/traits/issue-91594.rs +++ /dev/null @@ -1,17 +0,0 @@ -// #91594: This used to ICE. - -trait Component<M> { - type Interface; -} -trait HasComponent<I> {} - -struct Foo; - -impl HasComponent<<Foo as Component<Foo>>::Interface> for Foo {} -//~^ ERROR the trait bound `Foo: HasComponent<()>` is not satisfied - -impl<M: HasComponent<()>> Component<M> for Foo { - type Interface = u8; -} - -fn main() {} |