Coccinelle for Rust: replace images with highlighted text

Signed-off-by: Miguel Ojeda <[email protected]>

Author: ojeda

src/Coccinelle-for-Rust.md

@@ -12,11 +12,23 @@ Rust, to make the power of Coccinelle available to Rust codebases.
 
 Changing a method call sequence in the Rust implementation:
 
-![Changing a method call sequence in the Rust implementation](Coccinelle-for-Rust/tcx.png)
+<pre><code class="language-diff hljs"><span class="hljs-title">@@</span>
+<span class="hljs-keyword">expression</span> tcx, arg;
+<span class="hljs-title">@@</span>
+<span class="hljs-deletion">- tcx.type_of(arg)</span>
+<span class="hljs-addition">+ tcx.bound_type_of(arg).subst_identity()</span>
+</code></pre>
 
 Merging some lifetimes in tokio:
 
-![Merging some lifetimes in tokio](Coccinelle-for-Rust/tokio.png)
+<pre><code class="language-diff hljs"><span class="hljs-title">@@</span>
+<span class="hljs-keyword">identifier</span> f, P, p;
+<span class="hljs-keyword">type</span> T1, T2;
+<span class="hljs-title">@@</span>
+<span class="hljs-deletion">- f&lt;P: T1&gt;(p: P) -&gt; T2</span>
+<span class="hljs-addition">+ f(p: impl T1) -&gt; T2</span>
+     { ... }
+</code></pre>
 
 ## Current status