error[E0277]: the trait bound `Foo: main::a::Bar` is not satisfied
  --> $DIR/same-crate-name.rs:31:20
   |
LL |         a::try_foo(foo);
   |                    ^^^ the trait `main::a::Bar` is not implemented for `Foo`
   | 
  ::: $DIR/auxiliary/crate_a1.rs:3:24
   |
LL | pub fn try_foo(x: impl Bar) {}
   |                        --- required by this bound in `try_foo`
   |
help: trait impl with same name found
  --> $DIR/auxiliary/crate_a2.rs:5:1
   |
LL | impl Bar for Foo {}
   | ^^^^^^^^^^^^^^^^^^^
   = note: perhaps two different versions of crate `crate_a2` are being used?

error[E0277]: the trait bound `DoesNotImplementTrait: main::a::Bar` is not satisfied
  --> $DIR/same-crate-name.rs:38:20
   |
LL |         a::try_foo(implements_no_traits);
   |                    ^^^^^^^^^^^^^^^^^^^^ the trait `main::a::Bar` is not implemented for `DoesNotImplementTrait`
   | 
  ::: $DIR/auxiliary/crate_a1.rs:3:24
   |
LL | pub fn try_foo(x: impl Bar) {}
   |                        --- required by this bound in `try_foo`

error[E0277]: the trait bound `ImplementsWrongTraitConditionally<isize>: main::a::Bar` is not satisfied
  --> $DIR/same-crate-name.rs:45:20
   |
LL |         a::try_foo(other_variant_implements_mismatched_trait);
   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `main::a::Bar` is not implemented for `ImplementsWrongTraitConditionally<isize>`
   | 
  ::: $DIR/auxiliary/crate_a1.rs:3:24
   |
LL | pub fn try_foo(x: impl Bar) {}
   |                        --- required by this bound in `try_foo`
   |
help: trait impl with same name found
  --> $DIR/auxiliary/crate_a2.rs:13:1
   |
LL | impl Bar for ImplementsWrongTraitConditionally<isize> {}
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   = note: perhaps two different versions of crate `crate_a2` are being used?

error[E0277]: the trait bound `ImplementsTraitForUsize<isize>: main::a::Bar` is not satisfied
  --> $DIR/same-crate-name.rs:51:20
   |
LL |         a::try_foo(other_variant_implements_correct_trait);
   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `main::a::Bar` is not implemented for `ImplementsTraitForUsize<isize>`
   | 
  ::: $DIR/auxiliary/crate_a1.rs:3:24
   |
LL | pub fn try_foo(x: impl Bar) {}
   |                        --- required by this bound in `try_foo`
   |
   = help: the following implementations were found:
             <ImplementsTraitForUsize<usize> as main::a::Bar>

error: aborting due to 4 previous errors

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