A a;
for (...){
    if (toto){
        a = new A();
    } else {
        a.b();
    }
}

car moi je sais que toto sera vrai au moins une fois avant d'être false.... Mais le compilateur non :-/

Use of possibly unassigned field 'b'

C'est pas un warning, c'est un error qui arrête la compilation.
en faisant un A a = new A(); bidon au début, il est content. (cest le compilateur C#)