rust/tests/ui/traits/object/auto-dedup-in-impl.rs

20 lines
444 B
Rust

// Checks to make sure that `dyn Trait + Send` and `dyn Trait + Send + Send` are the same type.
// Issue: #47010
struct Struct;
impl Trait for Struct {}
trait Trait {}
type Send1 = dyn Trait + Send;
type Send2 = dyn Trait + Send + Send;
fn main () {}
impl dyn Trait + Send {
fn test(&self) { println!("one"); } //~ ERROR duplicate definitions with name `test`
}
impl dyn Trait + Send + Send {
fn test(&self) { println!("two"); }
}