summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/issues/issue-67185-2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/issues/issue-67185-2.rs')
-rw-r--r--src/test/ui/const-generics/issues/issue-67185-2.rs31
1 files changed, 0 insertions, 31 deletions
diff --git a/src/test/ui/const-generics/issues/issue-67185-2.rs b/src/test/ui/const-generics/issues/issue-67185-2.rs
deleted file mode 100644
index 18bb6f6bc..000000000
--- a/src/test/ui/const-generics/issues/issue-67185-2.rs
+++ /dev/null
@@ -1,31 +0,0 @@
-trait Baz {
- type Quaks;
-}
-impl Baz for u8 {
- type Quaks = [u16; 3];
-}
-
-trait Bar {}
-impl Bar for [u16; 4] {}
-impl Bar for [[u16; 3]; 3] {}
-
-trait Foo
-where
- [<u8 as Baz>::Quaks; 2]: Bar, //~ ERROR the trait bound `[[u16; 3]; 2]: Bar` is not satisfied [E0277]
- <u8 as Baz>::Quaks: Bar, //~ ERROR the trait bound `[u16; 3]: Bar` is not satisfied [E0277]
-{
-}
-
-struct FooImpl;
-
-impl Foo for FooImpl {}
-//~^ ERROR the trait bound `[u16; 3]: Bar` is not satisfied [E0277]
-//~^^ ERROR the trait bound `[[u16; 3]; 2]: Bar` is not satisfied [E0277]
-
-fn f(_: impl Foo) {}
-//~^ ERROR the trait bound `[u16; 3]: Bar` is not satisfied [E0277]
-//~^^ ERROR the trait bound `[[u16; 3]; 2]: Bar` is not satisfied [E0277]
-
-fn main() {
- f(FooImpl)
-}