infer: improving intellij diagnoses