Support return type inferencing for multi-return functions.