about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/nested_impl_trait.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/nested_impl_trait.rs')
-rw-r--r--src/test/ui/impl-trait/nested_impl_trait.rs32
1 files changed, 0 insertions, 32 deletions
diff --git a/src/test/ui/impl-trait/nested_impl_trait.rs b/src/test/ui/impl-trait/nested_impl_trait.rs
deleted file mode 100644
index e95fab3b650..00000000000
--- a/src/test/ui/impl-trait/nested_impl_trait.rs
+++ /dev/null
@@ -1,32 +0,0 @@
-#![feature(impl_trait_in_fn_trait_return)]
-use std::fmt::Debug;
-
-fn fine(x: impl Into<u32>) -> impl Into<u32> { x }
-
-fn bad_in_ret_position(x: impl Into<u32>) -> impl Into<impl Debug> { x }
-//~^ ERROR nested `impl Trait` is not allowed
-//~| ERROR the trait bound `impl Debug: From<impl Into<u32>>` is not satisfied
-
-fn bad_in_fn_syntax(x: fn() -> impl Into<impl Debug>) {}
-//~^ ERROR nested `impl Trait` is not allowed
-//~| `impl Trait` only allowed in function and inherent method return types
-
-fn bad_in_arg_position(_: impl Into<impl Debug>) { }
-//~^ ERROR nested `impl Trait` is not allowed
-
-struct X;
-impl X {
-    fn bad(x: impl Into<u32>) -> impl Into<impl Debug> { x }
-    //~^ ERROR nested `impl Trait` is not allowed
-    //~| ERROR the trait bound `impl Debug: From<impl Into<u32>>` is not satisfied
-}
-
-fn allowed_in_assoc_type() -> impl Iterator<Item=impl Fn()> {
-    vec![|| println!("woot")].into_iter()
-}
-
-fn allowed_in_ret_type() -> impl Fn() -> impl Into<u32> {
-    || 5u8
-}
-
-fn main() {}