Rollup merge of #95504 - jyn514:library-alias, r=Mark-Simulacrum

[rust.git] / src / test / ui / impl-trait / hidden-type-is-opaque-2.rs

diff --git a/src/test/ui/impl-trait/hidden-type-is-opaque-2.rs b/src/test/ui/impl-trait/hidden-type-is-opaque-2.rs
index 1b65685a6c06f4af67d34568ccc56ce259f0ec29..7876add5aa6cb8392149ba922a1d1e280dc341f5 100644 (file)
--- a/src/test/ui/impl-trait/hidden-type-is-opaque-2.rs
+++ b/src/test/ui/impl-trait/hidden-type-is-opaque-2.rs
@@ -2,6 +2,8 @@
 // into function arguments via the function's generic parameters
 // FIXME(oli-obk): make `expected_inputs_for_expected_output` support this
 
+#![feature(type_alias_impl_trait)]
+
 fn reify_as() -> Thunk<impl FnOnce(Continuation) -> Continuation> {
     Thunk::new(|mut cont| { //~ ERROR type annotations needed
         cont.reify_as();
@@ -9,6 +11,15 @@ fn reify_as() -> Thunk<impl FnOnce(Continuation) -> Continuation> {
     })
 }
 
+type Tait = impl FnOnce(Continuation) -> Continuation;
+
+fn reify_as_tait() -> Thunk<Tait> {
+    Thunk::new(|mut cont| { //~ ERROR type annotations needed
+        cont.reify_as();
+        cont
+    })
+}
+
 #[must_use]
 struct Thunk<F>(F);