Remove redundant emptiness check in getPurityAnnotation

[mernst]

The subsequent loop already returns null for an empty set.

[coderabbitai]

Warning

Review limit reached

Next included review available in 47 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used all 4 included reviews currently available.

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Advanced

Run ID: 0cff4cfe-aab1-41d6-bfb0-7536dd6f0110

📥 Commits

Reviewing files that changed from the base of the PR and between 8540285 and d51dd9f.

📒 Files selected for processing (1)

• framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceImplementation.java

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}