Confusing error message due to type parameter name

[waywardmonkeys]

This code is wrong, but the error message is confusing:

trait Parser<T> {
    fn parse(text: &str) -> Option<T>;
}

impl<bool> Parser<bool> for bool {
    fn parse(text: &str) -> Option<bool> {
        Some(true)
    }
}

fn main() {
    println!("{}", bool::parse("ok").unwrap_or(false));
}

Because I used bool accidentally as a type name when not using the right syntax ... this is pretty confusing:

error: mismatched types [--explain E0308]
 --> <anon>:7:14
7 |>         Some(true)
  |>              ^^^^ expected type parameter, found bool
note: expected type `bool`
note:    found type `bool`

error: aborting due to previous error

[beneills]

One solution would be to add detail after the expected/found lines if primitive shadowing has come into play. This would not change the language, but make the error look like:

error: mismatched types [--explain E0308]
 --> <anon>:7:14
7 |>         Some(true)
  |>              ^^^^ expected type parameter, found bool
note: expected type `bool` (type parameter)
note:    found type `bool` (primitive)

error: aborting due to previous error