Don't put JDK annotations in stub files; they belong in the annotated JDK

[mernst]

Merge with typetools/jdk#267

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro

Run ID: b02d17d2-f6e0-4103-a6ba-69ab5f778e76

📥 Commits

Reviewing files that changed from the base of the PR and between b768590 and 45190a1.

📒 Files selected for processing (1)

• checker/src/main/java/org/checkerframework/checker/rlccalledmethods/jdk.astub

💤 Files with no reviewable changes (1)

• checker/src/main/java/org/checkerframework/checker/rlccalledmethods/jdk.astub

---

📝 Walkthrough

Walkthrough

This pull request removes stub definitions for java.lang.AutoCloseable and java.io.Closeable from the Resource Leak Checker's Java Development Kit stub file. The deletion eliminates 19 lines of code that previously declared close methods with @SideEffectFree and @GuardSatisfied annotations for both interfaces. No replacement declarations are provided.

Possibly related PRs

• Add RLC-only SideEffectFree stubs and tests #7609: Directly adds the same java.lang.AutoCloseable and java.io.Closeable stub declarations to the RLC jdk.astub file that this PR removes.

Suggested labels

ResourceLeakChecker

Suggested reviewers

• kelloggm

🚥 Pre-merge checks | ✅ 3

✅ Passed checks (3 passed)

Check name	Status	Explanation
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

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

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests

---

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.}