 --> [ local path prefix ]/redef/struct.fpp:2:8
  |
2 | struct S { y: U32 }
  |        ^ redefinition of symbol S
  |
 ::: [ local path prefix ]/redef/struct.fpp:1:1
  |
1 | struct S { x: U32 }
  | ------------------- previous definition is here

