Suggestion: enable contract checking #10
Description
https://github.com/uber/NullAway/wiki/Configuration#contract-checking
By default, NullAway simply trusts @Contract annotations and does not verify that they match the behavior of the annotated method. Passing the CheckContracts flag enables checking of contracts, which should add more safety. If you all try this and run into issues we are happy to look into them on the NullAway side. We may switch the defaults and make contract checking an opt-out setting in the future rather than opt-in.