summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/regions-wf-trait-object.rs
blob: d0053b202344559a597b26f28215bab9243033fa (plain)
1
2
3
4
5
6
7
8
9
10
// Check that the explicit lifetime bound (`'b`, in this example) must
// outlive all the superbound from the trait (`'a`, in this example).

trait TheTrait<'t>: 't { }

struct Foo<'a,'b> {
    x: Box<dyn TheTrait<'a>+'b> //~ ERROR E0478
}

fn main() { }