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

