\brief Determine if the given subgraph variable can act as return value for the given RETURN op We assume the variable flows the RETURN. If the return value size is not locked. Create a PatchRecord within the subgraph that allows the RETURN to take a smaller logical value. \param op is the given RETURN op \param rvn is the given subgraph variable flowing to the RETURN \param slot is the input slo
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected