summaryrefslogtreecommitdiffstats
path: root/src/test/ui/chalkify/impl_wf.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/chalkify/impl_wf.rs')
-rw-r--r--src/test/ui/chalkify/impl_wf.rs26
1 files changed, 0 insertions, 26 deletions
diff --git a/src/test/ui/chalkify/impl_wf.rs b/src/test/ui/chalkify/impl_wf.rs
deleted file mode 100644
index 66f57c2d1..000000000
--- a/src/test/ui/chalkify/impl_wf.rs
+++ /dev/null
@@ -1,26 +0,0 @@
-// compile-flags: -Z chalk
-
-trait Foo: Sized { }
-
-trait Bar {
- type Item: Foo;
-}
-
-impl Foo for i32 { }
-
-impl Foo for str { }
-//~^ ERROR the size for values of type `str` cannot be known at compilation time
-
-
-// Implicit `T: Sized` bound.
-impl<T> Foo for Option<T> { }
-
-trait Baz<U: ?Sized> where U: Foo { }
-
-impl Baz<i32> for i32 { }
-
-impl Baz<f32> for f32 { }
-//~^ ERROR the trait bound `f32: Foo` is not satisfied
-
-fn main() {
-}