  --> [ local path prefix ]/top_ports/implements_port_mismatch_2.fpp:23:23
   |
23 | topology A implements I {
   |                       ^ port interface not implemented
   |
  ::: [ local path prefix ]/top_ports/implements_port_mismatch_2.fpp:27:3
   |
27 |   port pOut = c1.pOutDifferentName
   |   -------------------------------- port instance does not match definition in interface
   |
  ::: [ local path prefix ]/top_ports/implements_port_mismatch_2.fpp:5:5
   |
 5 |     output port pOut: [2] P
   |     ----------------------- interface definition is here

