Turns out `fn_sig` is moved in the next statement, so I can't have `transformed_self_ty = fn_sig.inputs[0]` after that.