Oh, also, this would preferably point to the type itself, i.e., `field.node.ty.span`, rather than `field.span`. (And below with `var_arg.ty.span`.)