blob: da1a9cc2775d0c0bc48e20e26413f05fba8d0a7b [file] [log] [blame] [edit]
#![deny(deref_into_dyn_supertrait)]
use std::ops::Deref;
trait Bar<'a> {}
trait Foo<'a>: Bar<'a> {}
impl<'a> Deref for dyn Foo<'a> {
//~^ ERROR this `Deref` implementation is covered by an implicit supertrait coercion
//~| WARN this will change its meaning in a future release!
type Target = dyn Bar<'a>;
fn deref(&self) -> &Self::Target {
todo!()
}
}
fn main() {}