That&#x27;s not a &quot;problem&quot; in type inference, that&#x27;s a design decision where lambda syntax can represent either delegates or expression statements. This is how LINQ-to-SQL can take a LINQ expression and turn it into a SQL statement.<p>However, that doesn&#x27;t mean we don&#x27;t wish you wouldn&#x27;t have to specify the type there -- that&#x27;s why there&#x27;s a separate proposal for local functions (<a href="https:&#x2F;&#x2F;github.com&#x2F;dotnet&#x2F;roslyn&#x2F;tree&#x2F;features&#x2F;local-functions" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;dotnet&#x2F;roslyn&#x2F;tree&#x2F;features&#x2F;local-functio...</a>), which would allow<p><pre><code>    var inc(x) =&gt; x + 1;</code></pre>