Next: Non_Visible_Exceptions, Previous: Non_SPARK_Attributes, Up: Predefined Rules
Non_Tagged_Derived_Types
Flag all derived type declarations that do not have a record extension part.
This rule has no parameters.