issue-39802-show-5-trait-impls.rs

trait Foo<B> {
    fn bar(&self){}
}

impl Foo<u8> for i8 {}
impl Foo<u16> for i8 {}
impl Foo<u32> for i8 {}
impl Foo<u64> for i8 {}
impl Foo<bool> for i8 {}

impl Foo<u16> for u8 {}
impl Foo<u32> for u8 {}
impl Foo<u64> for u8 {}
impl Foo<bool> for u8 {}

impl Foo<u8> for bool {}
impl Foo<u16> for bool {}
impl Foo<u32> for bool {}
impl Foo<u64> for bool {}
impl Foo<bool> for bool {}
impl Foo<i8> for bool {}

fn main() {
    Foo::<i32>::bar(&1i8); //~ ERROR is not satisfied
    Foo::<i32>::bar(&1u8); //~ ERROR is not satisfied
    Foo::<i32>::bar(&true); //~ ERROR is not satisfied
}

// ferrocene-annotations: fls_fk2m2irwpeof
// Implementations