 we try to use a different type with the same closure.
-->
<p><code>String</code>値で<code>example_closure</code>を呼び出した最初の時点で、コンパイラは<code>x</code>とクロージャの戻り値の型を<code>String</code>と推論します。
そして、その型が<code>example_closure</code>のクロージャに閉じ込められ、同じクロージャを異なる型で使用しようとすると、
型エラーが出るのです。</p>
<!--
### Storing Closures Using Generic Para