I've some places in my code where I can prove that the variables are correctly initialized but the compiler can't, and other places where I'm not sure the variables are correctly initialized and the compiler correctly find out they are not... So these warning have real use. I just want to reduce the false positive rate.
What is the goal of adding constraints to a language like types to have the compiler help you find bugs when the constraints are not respected, if you disable them instead of helping the compiler enforce them?
