Would it be a valid optimization to have D remove the requirement for allocation when it can determine that the entire data structure of the item in question is an rvalue, and would fit into the data pointer part of the delegate?
Don't do that. It's valid in simple cases. As soon as you want to chain delegate pointers it falls apart.Also the delegate might require heap allocation to be memory correct.
