Skip to content

Make isAliasedTypeAnnotation() protected#7667

Merged
smillst merged 1 commit into
typetools:masterfrom
mernst:isAliasedTypeAnnotation-protected
Apr 30, 2026
Merged

Make isAliasedTypeAnnotation() protected#7667
smillst merged 1 commit into
typetools:masterfrom
mernst:isAliasedTypeAnnotation-protected

Conversation

@mernst
Copy link
Copy Markdown
Member

@mernst mernst commented Apr 29, 2026

No description provided.

@mernst mernst requested a review from smillst April 29, 2026 20:45
@coderabbitai
Copy link
Copy Markdown
Contributor

coderabbitai Bot commented Apr 29, 2026

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: 07f247e2-7d4d-4713-88ee-c235d9c3fb40

📥 Commits

Reviewing files that changed from the base of the PR and between 6c1cf75 and f13397f.

📒 Files selected for processing (2)
  • docs/CHANGELOG.md
  • framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java

📝 Walkthrough

Walkthrough

This pull request modifies the Checker Framework's type system APIs. The access modifier for the method isAliasedTypeAnnotation() in AnnotatedTypeFactory is changed from public to protected, restricting its visibility to the class and its subclasses. The changelog is updated to document this API modification along with the introduction of a new hasDoesNotUnrefineReceiver() method and related changes associated with the @DoesNotUnrefineReceiver annotation support.

Suggested reviewers

  • smillst
🚥 Pre-merge checks | ✅ 3
✅ Passed checks (3 passed)
Check name Status Explanation
Docstring Coverage ✅ Passed Docstring coverage is 100.00% which is sufficient. The required threshold is 80.00%.
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
Review rate limit: 6/8 reviews remaining, refill in 14 minutes and 6 seconds.

Comment @coderabbitai help to get the list of available commands and usage tips.

@mernst mernst mentioned this pull request Apr 29, 2026
@smillst smillst merged commit 6465706 into typetools:master Apr 30, 2026
19 checks passed
@smillst smillst deleted the isAliasedTypeAnnotation-protected branch April 30, 2026 16:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants