tests/ui/privacy/sealed-traits/false-sealed-traits-note.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

// We should not emit sealed traits note, see issue #143392 and #143121

/// Reported in #143392
mod inner {
    pub trait TraitA {}

    pub trait TraitB: TraitA {}
}

struct Struct;

impl inner::TraitB for Struct {} //~ ERROR the trait bound `Struct: TraitA` is not satisfied [E0277]

/// Reported in #143121
mod x {
    pub trait A {}
    pub trait B: A {}

    pub struct C;
    impl B for C {} //~ ERROR the trait bound `C: A` is not satisfied [E0277]
}

fn main(){}