Add test case for issue #4858

[mernst]

Thanks to @vivek-0509 for pointing out that the issue is now fixed.

[coderabbitai]

📝 Walkthrough

Walkthrough

A new final class NoSuchMethodVisibility is added with four methods. Two private and public methods return nullable maps, while two public boolean methods return true and are annotated with @EnsuresKeyForIf to reference the map methods. The private privateMap() method is annotated with @Pure. This adds 28 lines of test code that demonstrates nullness and key-for constraint annotations without implementing complex runtime behavior.

🚥 Pre-merge checks | ❌ 1

❌ Failed checks (1 warning)

Check name	Status	Explanation	Resolution
Docstring Coverage	⚠️ Warning	Docstring coverage is 0.00% which is insufficient. The required threshold is 80.00%.	Write docstrings for the functions missing them to satisfy the coverage threshold.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing touches

• 📝 Generate docstrings

---

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 and usage tips.}