5.1.43 No_Local_Tagged_Types

[GNAT] This restriction ensures at compile time that tagged types are only declared at the library level.