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

