#![feature(rust_2018_preview)]

trait Foo<'a> {
    fn x();
}

impl Foo<'a> for bool {
    fn x() {
        impl Foo<'a> for u8 {
            fn x() {}
        }
    }
}

fn main() {}