 <span class='ident'>main</span>() {
    <span class='kw'>let</span> <span class='ident'>x</span> <span class='op'>=</span> <span class='string'>&quot;Hello&quot;</span>.<span class='ident'>to_string</span>();
    <span class='ident'>do_something</span>(<span class='kw-2'>&amp;</span><span class='ident'>x</span>);
}</pre>

<!-- A function that takes a trait object is not specialized to each of the types -->

<!-- that implements `Foo`: only one copy is generated, often (but not always) -->

<!-- resulting i