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

