error[E0277]: the trait bound `i8: Foo<i32>` is not satisfied
  --> $DIR/issue-39802-show-5-trait-impls.rs:24:5
   |
LL |     fn bar(&self){}
   |     ------------- required by `Foo::bar`
...
LL |     Foo::<i32>::bar(&1i8);
   |     ^^^^^^^^^^^^^^^ the trait `Foo<i32>` is not implemented for `i8`
   |
   = help: the following implementations were found:
             <i8 as Foo<bool>>
             <i8 as Foo<u16>>
             <i8 as Foo<u32>>
             <i8 as Foo<u64>>
             <i8 as Foo<u8>>

error[E0277]: the trait bound `u8: Foo<i32>` is not satisfied
  --> $DIR/issue-39802-show-5-trait-impls.rs:25:5
   |
LL |     fn bar(&self){}
   |     ------------- required by `Foo::bar`
...
LL |     Foo::<i32>::bar(&1u8);
   |     ^^^^^^^^^^^^^^^ the trait `Foo<i32>` is not implemented for `u8`
   |
   = help: the following implementations were found:
             <u8 as Foo<bool>>
             <u8 as Foo<u16>>
             <u8 as Foo<u32>>
             <u8 as Foo<u64>>

error[E0277]: the trait bound `bool: Foo<i32>` is not satisfied
  --> $DIR/issue-39802-show-5-trait-impls.rs:26:5
   |
LL |     fn bar(&self){}
   |     ------------- required by `Foo::bar`
...
LL |     Foo::<i32>::bar(&true);
   |     ^^^^^^^^^^^^^^^ the trait `Foo<i32>` is not implemented for `bool`
   |
   = help: the following implementations were found:
             <bool as Foo<bool>>
             <bool as Foo<i8>>
             <bool as Foo<u16>>
             <bool as Foo<u32>>
           and 2 others

error: aborting due to 3 previous errors

For more information about this error, try `rustc --explain E0277`.