 --> [ local path prefix ]/redef/topology_module.fpp:2:8
  |
2 | module M { }
  |        ^ redefinition of symbol M
  |
 ::: [ local path prefix ]/redef/topology_module.fpp:1:1
  |
1 | topology M { }
  | -------------- previous definition is here

