summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/object/auto-dedup-in-impl.rs
blob: 85698f1948904120d05a1125982307b2ebd7e428 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
// 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"); }
}