[Dlang-internal] DIP1000 discussion and testing: RC pointer snippet

[Martin Nowak via Dlang-internal]

On Friday, 21 October 2016 at 01:46:20 UTC, meppl wrote:
> void bar( jailed T* t) @safe {
>    func(t); // ok, compiler added hidden_scope for void func( 
> T* t) itself
> }

As said in DIP1000 and implemented in the PR, the compiler infers 
scope for lambda and template function parameters. Not sure what 
you're proposing.
For sure we want to extend any attribute inferrence to functions, 
but how to make that work with separate compilation is still 
undecided. Talking more about inferrence would be an OT 
discussion though.