diff options
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.rs | 69 |
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() {} |