Attribute inference for auto functions?

[Piotr Szturmaj]

W dniu 19.04.2013 15:43, John Colvin pisze:
> I like this. It provides a good balance of control and automation.
>
> how would template functions be treated with auto(return)?

I see no need for special treating of template functions. In this case 
only return type would be inferred. Programmers should then specify 
attributes explicitly. By default, template functions with auto(return) 
would be impure, throwing and unsafe.