Development Log

New gnatcheck rule Specific_Parent_Type_Invariant
This rule flags record extensions and private extensions having a
parent type that specifies a Type_Invariant aspect. A record
extension is not flagged when it is a completion of a private
extension.