Stop using identity args for opaque type wf checks and instead load the args from the single use of a RPIT in its parent function's return type