Skip to content

Conversation

@graalvmbot
Copy link
Collaborator

Core types ideally should all be in the initial layer and should also be treated as closed.

There are some exceptions as some types are currently duplicated across layers.

This PR adds checks to ensure those assumptions.

  • Except duplicated types, core types cannot be reachable only in an extension layer.
  • Core types cannot have a new reachable subtype in an extension layer.
  • Core types cannot be instantiated only in an extension layer.

@oracle-contributor-agreement oracle-contributor-agreement bot added the OCA Verified All contributors have signed the Oracle Contributor Agreement. label Nov 10, 2025
@graalvmbot graalvmbot merged commit da0599d into master Nov 12, 2025
13 checks passed
@graalvmbot graalvmbot deleted the scoppey/GR-70846/close-core-types branch November 12, 2025 02:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

OCA Verified All contributors have signed the Oracle Contributor Agreement.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants