https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123927
Bug ID: 123927
Summary: with clause could be private with clause
Product: gcc
Version: 15.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: jesper.quorning at gmail dot com
CC: dkm at gcc dot gnu.org
Target Milestone: ---
The small program below build with:
$ gnatmake -gnatwa pack.ads
Does not report any warnings.
Expected warning that with clause in line 1 could be a private with clause.
```ada
with Ada.Containers.Vectors;
package Pack
is
type List_Type is private;
private
package Integer_Vectors is new
Ada.Containers.Vectors (Index_Type => Positive,
Element_Type => Integer);
type List_Type is
record
List : Integer_Vectors.Vector;
end record;
end Pack;
```
