DIP69 - Implement scope for escape proof references

[John Colvin via Digitalmars-d]

On Sunday, 14 December 2014 at 23:27:15 UTC, Walter Bright wrote:
>> I think I said that clearly: "What do you get when you take a 
>> pointer
>> of a function with an auto-ref
>> arg? ...an error, because it's not actually a function!"
>
> What's baffling to me is why even declare a function pointer 
> parameter as auto-ref? I don't use floating point to index 
> strings, either, that doesn't mean floating point is a failed 
> concept.

That's not what he's talking about. My understanding is that Manu 
is talking about something like this:

void foo(auto ref someConcreteType) { ... }

auto fooP = &foo; //error, foo is not a function