mirror of https://github.com/rust-lang/rust
59 lines
2.1 KiB
Rust
59 lines
2.1 KiB
Rust
// Ensure that the compiler include the blanklet implementation suggestion
|
|
// when inside a `impl` statement are used two local traits.
|
|
//
|
|
//@ edition:2021
|
|
use std::fmt;
|
|
|
|
trait LocalTraitOne { }
|
|
|
|
trait LocalTraitTwo { }
|
|
|
|
trait GenericTrait<T> {}
|
|
|
|
impl LocalTraitTwo for LocalTraitOne {}
|
|
//~^ ERROR trait objects must include the `dyn` keyword
|
|
//~| HELP add `dyn` keyword before this trait
|
|
//~| HELP alternatively use a blanket implementation to implement `LocalTraitTwo` for all types that also implement `LocalTraitOne`
|
|
|
|
impl fmt::Display for LocalTraitOne {
|
|
//~^ ERROR trait objects must include the `dyn` keyword
|
|
//~| HELP add `dyn` keyword before this trait
|
|
fn fmt(&self, _f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
todo!();
|
|
}
|
|
}
|
|
|
|
impl fmt::Display for LocalTraitTwo + Send {
|
|
//~^ ERROR trait objects must include the `dyn` keyword
|
|
//~| HELP add `dyn` keyword before this trait
|
|
fn fmt(&self, _f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
todo!();
|
|
}
|
|
}
|
|
|
|
impl LocalTraitOne for fmt::Display {}
|
|
//~^ ERROR trait objects must include the `dyn` keyword
|
|
//~| HELP add `dyn` keyword before this trait
|
|
//~| HELP alternatively use a blanket implementation to implement `LocalTraitOne` for all types that also implement `fmt::Display`
|
|
|
|
|
|
impl LocalTraitOne for fmt::Display + Send {}
|
|
//~^ ERROR trait objects must include the `dyn` keyword
|
|
//~| HELP add `dyn` keyword before this trait
|
|
//~| HELP alternatively use a blanket implementation to implement `LocalTraitOne` for all types that also implement `fmt::Display + Send`
|
|
|
|
|
|
impl<E> GenericTrait<E> for LocalTraitOne {}
|
|
//~^ ERROR trait objects must include the `dyn` keyword
|
|
//~| HELP add `dyn` keyword before this trait
|
|
//~| HELP alternatively use a blanket implementation to implement `GenericTrait<E>` for all types that also implement `LocalTraitOne`
|
|
|
|
trait GenericTraitTwo<T> {}
|
|
|
|
impl<T, E> GenericTraitTwo<E> for GenericTrait<T> {}
|
|
//~^ ERROR trait objects must include the `dyn` keyword
|
|
//~| HELP add `dyn` keyword before this trait
|
|
//~| HELP alternatively use a blanket implementation to implement `GenericTraitTwo<E>` for all types that also implement `GenericTrait<T>`
|
|
|
|
fn main() {}
|