// Phase 5 verification: two impls for the same (Source, Target) pair are
// both visible from the same xx site (because both their defining modules
// are transitively imported). The compiler must emit a clean
// "duplicate xx conversion" diagnostic naming both modules.

#import "modules/std.sx";
#import "./issue-0034-impl-a.sx";
#import "./issue-0034-impl-b.sx";

main :: () -> s32 {
  w : Wrap = xx 7;
  print("w.v = {}\n", w.v);
  0;
}