summaryrefslogtreecommitdiffstats
path: root/src/test/ui/feature-gates/feature-gate-trivial_bounds.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/feature-gates/feature-gate-trivial_bounds.rs')
-rw-r--r--src/test/ui/feature-gates/feature-gate-trivial_bounds.rs69
1 files changed, 0 insertions, 69 deletions
diff --git a/src/test/ui/feature-gates/feature-gate-trivial_bounds.rs b/src/test/ui/feature-gates/feature-gate-trivial_bounds.rs
deleted file mode 100644
index 3dbaf5dea..000000000
--- a/src/test/ui/feature-gates/feature-gate-trivial_bounds.rs
+++ /dev/null
@@ -1,69 +0,0 @@
-#![allow(unused)]
-#![allow(type_alias_bounds)]
-
-pub trait Foo {
- fn test(&self);
-}
-
-fn generic_function<X: Foo>(x: X) {}
-
-enum E where i32: Foo { V } //~ ERROR
-
-struct S where i32: Foo; //~ ERROR
-
-trait T where i32: Foo {} //~ ERROR
-
-union U where i32: Foo { f: i32 } //~ ERROR
-
-type Y where i32: Foo = (); // OK - bound is ignored
-
-impl Foo for () where i32: Foo { //~ ERROR
- fn test(&self) {
- 3i32.test();
- Foo::test(&4i32);
- generic_function(5i32);
- }
-}
-
-fn f() where i32: Foo //~ ERROR
-{
- let s = S;
- 3i32.test();
- Foo::test(&4i32);
- generic_function(5i32);
-}
-
-fn use_op(s: String) -> String where String: ::std::ops::Neg<Output=String> { //~ ERROR
- -s
-}
-
-fn use_for() where i32: Iterator { //~ ERROR
- for _ in 2i32 {}
-}
-
-trait A {}
-
-impl A for i32 {}
-
-struct Dst<X: ?Sized> {
- x: X,
-}
-
-struct TwoStrs(str, str) where str: Sized; //~ ERROR
-
-
-fn unsized_local() where Dst<dyn A>: Sized { //~ ERROR
- let x: Dst<dyn A> = *(Box::new(Dst { x: 1 }) as Box<Dst<dyn A>>);
-}
-
-fn return_str() -> str where str: Sized { //~ ERROR
- *"Sized".to_string().into_boxed_str()
-}
-
-// This is currently accepted because the function pointer isn't
-// considered global.
-fn global_hr(x: fn(&())) where fn(&()): Foo { // OK
- x.test();
-}
-
-fn main() {}