錆の一般的な関数エラーを理解できません

Question

私はRustジェネリックコードをコンパイルしようとしていましたが、このコードのコンパイルに失敗した場合には、私はここにブレークダウンされて正確に何かわからない（E0308は非常に私を助けていない） - 私は愚かな何かが欠けている必要があります。

fn is_fail<bool>() -> bool { false } 
fn main(){ 
    let failure:bool = is_fail(); 
    //if ! failure { 
    println!("{}", failure); 
    //} 
} 

エラーがある：あなたの関数で

error: mismatched types [--explain E0308] 
--> <anon>:1:30 
1 |> fn is_fail<bool>() -> bool { false } 
    |>        ^^^^^ expected type parameter, found bool 
note: expected type `bool` 
note: found type `bool` 

Answer 1

タイプパラメータboolは、組み込みタイプboolをシャドウします。したがって、関数の宣言は基本的には全く同じ型ではありません。

fn is_fail<T>() -> T { false } 

明らかに正しく型指定されていません。