On Friday, 4 May 2012 at 15:49:03 UTC, Manu wrote: > It's very counter intuitive to mark the _function_ ref, rather > than it's > return type. It is a function attribute, so it makes perfect sense. The rest is an issue of documentation/education. I agree it may not be optimally intuitive, but I don't see any superior syntactic options.