-This error occurs when the compiler was unable to infer the concrete type of a
-variable. It can occur for several cases, the most common of which is a
-mismatch in the expected type that the compiler inferred for a variable's
-initializing expression, and the actual type explicitly assigned to the
-variable.
+Expected type did not match the received type.
-For example:
+Erroneous code example:
```compile_fail,E0308
let x: i32 = "I am not a number!";
// |
// type `i32` assigned to variable `x`
```
+
+This error occurs when the compiler was unable to infer the concrete type of a
+variable. It can happen in several cases, the most common being a mismatch
+between the type that the compiler inferred for a variable based on its
+initializing expression, on the one hand, and the type the author explicitly
+assigned to the variable, on the other hand.