summaryrefslogtreecommitdiffstats
path: root/src/test/ui/impl-trait/nested-return-type2-tait.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/nested-return-type2-tait.rs')
-rw-r--r--src/test/ui/impl-trait/nested-return-type2-tait.rs1
1 files changed, 1 insertions, 0 deletions
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 42613d5cc..089018a1c 100644
--- 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 @@ type Sendable = impl Send;
// 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
}