summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/trait-upcasting/migrate-lint-deny.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/traits/trait-upcasting/migrate-lint-deny.rs')
-rw-r--r--src/test/ui/traits/trait-upcasting/migrate-lint-deny.rs6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/test/ui/traits/trait-upcasting/migrate-lint-deny.rs b/src/test/ui/traits/trait-upcasting/migrate-lint-deny.rs
index c67251018..d62418756 100644
--- a/src/test/ui/traits/trait-upcasting/migrate-lint-deny.rs
+++ b/src/test/ui/traits/trait-upcasting/migrate-lint-deny.rs
@@ -7,7 +7,11 @@ use core::ops::Deref;
// issue 89190
trait A {}
trait B: A {}
+
impl<'a> Deref for dyn 'a + B {
+ //~^ ERROR `(dyn B + 'a)` implements `Deref` with supertrait `A` as target
+ //~| WARN this was previously accepted by the compiler but is being phased out;
+
type Target = dyn A;
fn deref(&self) -> &Self::Target {
todo!()
@@ -18,8 +22,6 @@ fn take_a(_: &dyn A) {}
fn whoops(b: &dyn B) {
take_a(b)
- //~^ ERROR `dyn B` implements `Deref` with supertrait `(dyn A + 'static)` as output
- //~^^ WARN this was previously accepted by the compiler but is being phased out;
}
fn main() {}