Note in S5.6.3 Should be edited given that all protected type methods can now have file and access type parameters
S5.6.3 - protected type bodies has the following note:
NOTE—Subprogram bodies appearing in a protected type body not lexically conformant to any of the subprogram declarations in the corresponding protected type declaration are visible only within the protected type body. Such subprograms may have parameters that are access and file types and (in the case of functions) return types that are or contain access types.
This seems to be a hangover from the 200X specs, as 2019 now allows file and access type parameters on all protected type methods, not just those only visible within the protected type. The note should have the 2nd sentence removed as it may cause confusion.
Edited by Richard Head