Une extension du compilateur Java pour détecter plus d’erreurs. Ca ressemble un peu à ce que permet le compilateur Rust.