Rollup merge of #103159 - cuviper:check_pow-final-try_opt, r=Mark-Simulacrum

[rust.git] / src / test / ui / impl-trait / nested-return-type2-tait.rs

diff --git a/src/test/ui/impl-trait/nested-return-type2-tait.rs b/src/test/ui/impl-trait/nested-return-type2-tait.rs
index 42613d5ccd9a4cb05081b38501798c5041ea2044..089018a1cdf0106497c33188f7fe7c7452250046 100644 (file)
--- a/src/test/ui/impl-trait/nested-return-type2-tait.rs
+++ b/src/test/ui/impl-trait/nested-return-type2-tait.rs
@@ -26,6 +26,7 @@ impl<R: Duh, F: FnMut() -> R> Trait for F {
 // var to make it uphold the `: Duh` bound on `Trait::Assoc`. The opaque
 // type does not implement `Duh`, but if its hidden type does.
 fn foo() -> impl Trait<Assoc = Sendable> {
+    //~^ WARN opaque type `impl Trait<Assoc = Sendable>` does not satisfy its associated type bounds
     || 42
 }