Oops: fix RigidArgApplyTypeToResultType rule