That&#x27;s there if you want it though.<p><pre><code>    val customer = new Cat(): Animal
</code></pre>
I can see arguments against inter-method type inference, but I think there&#x27;s no real argument against type inference within a single method (requiring explicit types on method boundaries). If you have a billion-line method you have bigger problems.