Incidentally, Francisco, do you have plans for concluding the paths to offsets transition? It would be nice to avoid having it dragging forever.
I see now that you meant to just close it in any way, and not specifically dragging the paths into tpf.c and d3dbc.c.
I am super inclined to keep passing the derefs as an offset node plus some extra information, taking advantage of the IR infrastructure, as we do now instead of passing the whole deref path to tpf.c and d3dbc.c and encumbering them with the offset calculations.
I will include patches to remove the TODO's related to `replace_deref_path_with_offset()` in part4 of broaden resources support (after !209 gets approved), if there are objections we can discuss them there.