So what does (inout int = 0) do?

[Seb via Digitalmars-d]

On Friday, 15 April 2016 at 23:05:14 UTC, Steven Schveighoffer 
wrote:
> On 4/15/16 6:31 PM, Timon Gehr wrote:
>> [...]
>
> I'm sorry, should have put on my standard disclaimer that I am 
> not a compiler writer :) I actually have no idea how this is 
> done in the compiler, just how a compiler should behave as I 
> understand it in my head.
>
> [...]

inout(bool) newsgroup.revive_discussion();

can we make the compiler smart enough to solve the use-cases of 
inout (=auto const/immutable deducation)?