summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-24424.rs
blob: 22bf513afe89129dd5719c7700da3c2327c0a449 (plain)
1
2
3
4
5
6
7
trait Trait1<'l0, T0> {}
trait Trait0<'l0>  {}

impl <'l0, 'l1, T0> Trait1<'l0, T0> for bool where T0 : Trait0<'l0>, T0 : Trait0<'l1> {}
//~^ ERROR type annotations needed

fn main() {}