The style guide expressly forbids the use of the `[[deprecated]]` attribute, saying it's not relevant for HotSpot. But we're now (as of JDK-8313396) using it to implement forbidding of certain functions coming from non-HotSpot code (particularly from the standard library). Perhaps the style guide needs to be updated, or perhaps just a comment discussing the variance should be added to the relevant code.