AI-0040 Limited with clauses on descendant
This AI confirms that a limited with clause in a child unit cannot name an ancestor of the unit. This has always been checked in GNAT.