  --> [ local path prefix ]/top_ports/implements_port_missing.fpp:23:23
   |
23 | topology A implements I {
   |                       ^ port interface not implemented
   |
  ::: [ local path prefix ]/top_ports/implements_port_missing.fpp:5:5
   |
 5 |     output port pOut2: [3] P
   |     ------------------------ port instance missing

