On Sunday, 21 April 2013 at 16:08:55 UTC, Zach the Mystic wrote:
Would there be a difference between the type of o and o2, or of o2 and o3? There is inconsistency, but it would be nice to find use cases which make this inconsistency truly unworkable with other things in the language.
('nice' in the sense that it would prove the suggestion to be unworkable as opposed to nice that it actually is unworkable...)
