Positive
Given a function annotated with @OnlyForDocumentType(X), this transformer sets the function's constraint to only the document type X.
Given a function annotated with @OnlyForDocumentType(X), this transformer sets the function's constraint to only the document type X.