Ada 2022 Issues Index

This is an index of all Ada 2022 Issues. Priority is Very Low, Low, Medium, High, or Critical; Difficulty is Easy, Medium, or Hard. Some AIs have alternatives; these are used when the best solution is not apparent. Alternatives share the AI number, but have a different alternative number (following the second dash). For issues that probably will not be considered by the ARG, look in the Ada Commentaries Index. For Ada 95 issues that have or will be considered by the ARG, look in the Ada 95 Issues Index. For Ada 2005 issues that have or will be considered by the ARG, look in the Ada 2005 Issues Index. For Ada 2012 issues that have or will be considered by the ARG, look in the Ada 2012 Issues Index.

The Ada 2022 Issues are indexed in numeric order, by the class of issue, by the current status, and by the section referenced.

AI22-0001-1/03   2022-01-07 -- Presentation issues in Ada 202x submission
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Deleted      21-01-19
    RM References:  3.09 (21)   3.09.03 (8/3)   4.02.01 (7/5)   4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)   4.03.05 (22/5)   13.01.01 (18.8/5)

AI22-0002-1/03   2021-11-18 -- Nonoverridable aspects must be primitive
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-01-14
    RM References:  13.01.01 (18.3/5)   4.03.05 (6/5)   4.03.05 (10/5)   4.03.05 (35/5)

AI22-0003-1/03   2022-01-14 -- Vestigial rule about inheritance of user-defined literal aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-01-14
    RM References:  4.02.01 (14/5)

AI22-0004-1/04   2022-02-03 -- Permissions of 4.1.4 and No_Implementation_Attributes
    Priority: Very Low   Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-02-03
    RM References:  13.12.01 (2/2)

AI22-0005-1/00   2021-11-11 -- Editorial comments on AARM 2022
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received     21-11-11
    RM References:  6.06 (6)

AI22-0006-1/03   2022-01-14 -- Two-pass iteration for array aggregates
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-01-14
    RM References:  4.03.03 (20.3/5)   4.03.03 (20.4/5)   4.03.03 (32/5)

AI22-0007-1/03   2022-01-19 -- Discriminant checks for aggregates might need to be done early
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-01-19
    RM References:  4.03 (6)

AI22-0008-1/03   2022-02-03 -- Nominal subtype of a delta aggregate
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-02-03
    RM References:  4.03.03 (14.1/5)

AI22-0009-1/07   2023-02-01 -- Nonvolatile views of volatile objects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-11-10
    RM References:  C.06 (12/5)   C.06 (12.1/5)

AI22-0010-1/04   2022-01-14 -- Predicates on private extensions
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-01-14
    RM References:  7.03 (13)

AI22-0011-1/05   2022-01-19 -- Reduction expression issues
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-01-19
    RM References:  4.05.10 (9/5)   4.05.10 (10/5)   4.05.10 (12/5)   4.05.10 (13/5)   4.05.10 (15/5)   4.05.10 (16/5)   4.05.10 (17/5)   4.05.10 (18/5)
                    4.05.10 (19/5)   4.05.10 (20/5)   4.05.10 (24/5)   4.05.10 (25/5)   4.05.10 (27/5)   4.05.10 (29/5)   4.05.10 (34/5)

AI22-0012-1/03   2022-01-14 -- Incompatibility for abstract type Pre'Class
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-01-14
    RM References:  6.01.01 (18.2/5)

AI22-0013-1/01   2021-11-12 -- Pragma after a final label
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action    16-0-0  22-02-03
    RM References:  5.01 (12.1/3)   5.06 (1)   5.06 (2)   5.06 (3)   5.06 (4)   5.06 (5)   5.06 (6)  
    Alternatives:   AI22-0013-2

AI22-0013-2/02   2022-02-03 -- Pragma after a final label
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-02-03
    RM References:  5.01 (12.1/3)   2.08 (12)  
    Alternatives:   AI22-0013-1

AI22-0014-1/02   2022-02-03 -- Predicates on inherited functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-02-03
    RM References:  3.04 (27/2)

AI22-0015-1/01   2021-11-12 -- Innermost master of the call is ambiguous
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item    21-11-12
    RM References:  3.09 (26.1/3)   3.10.02 (14/3)   7.06.01 (11.3/3)   7.06.01 (11.4/3)

AI22-0016-1/02   2022-02-03 -- Newly constructed objects in a declare expression
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-02-03
    RM References:  4.05.09 (6/5)

AI22-0017-1/03   2023-04-27 -- Objects declared in declare expressions may be long-lived
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Corrigendum 1 for Ada 2022  23-03-30
    RM References:  4.05.09 (10/5)

AI22-0018-1/05   2022-09-06 -- Easy fixes to Ada 2022
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-01-14
    RM References:  4.03.05 (24/5)   4.03.05 (26/5)   4.03.05 (38/5)   4.03.05 (39/5)   4.09 (8.1/5)   13.01 (0.1/3)

AI22-0019-1/04   2022-10-17 -- Freezing of aspect specifications
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-06-23
    RM References:  13.01.01 (13.1/5)

AI22-0020-1/02   2022-01-13 -- Order of elements in Aggregate aspect
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: WG9 Approved 22-10-18
    RM References:  4.03.05 (3/5)   4.03.05 (4/5)

AI22-0021-1/04   2022-09-06 -- Aggregate aspect resolution should not be too smart
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-02-03
    RM References:  4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)   4.03.05 (11/5)

AI22-0022-1/01   2022-01-17 -- Difficult example issues from WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Received     21-05-20
    RM References:  4.03.05 (93/5)   9.02 (26)   9.02 (27)   9.05.02 (33)   9.05.02 (35)   9.05.02 (36)   9.05.02 (37)   A.18.33 (3/3)

AI22-0023-1/02   2022-02-04 -- Deferred presentation issues from the WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2022 22-02-03
    RM References:  1.01.02 (35)   3.08 (18/2)   7.03.02 (5/5)   9.02 (7)   10.02.01 (18/3)

AI22-0024-1/06   2023-02-01 -- Abstract prefixed views
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-09-09
    RM References:  4.01.03 (9.2/3)   6.04 (9.1/5)

AI22-0025-1/02   2022-01-21 -- Accessibility of generalized iterators
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item    22-01-20
    RM References:  5.05.02 (8/3)   5.05.02 (10/5)

AI22-0026-1/01   2022-01-21 -- Problem with nested type extension check
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item    22-01-21
    RM References:  4.08 (10.1/3)

AI22-0027-1/04   2022-06-23 -- Primitive equality of a class-wide type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-06-23
    RM References:  3.04.01 (5)   4.05.02 (28.1/5)   12.05.01 (23.2/2)   12.06 (9.2/3)

AI22-0028-1/04   2022-06-14 -- Program_Error for unchecked union equality
    Priority: Very Low   Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-06-14
    RM References:  B.03.03 (22/2)   B.03.03 (23/2)   B.03.03 (24/2)

AI22-0029-1/07   2023-02-01 -- External_Tag collisions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-11-10
    RM References:  13.03 (75.1/3)   13.03 (76)   13.03 (76.1/3)

AI22-0030-1/02   2022-01-26 -- Array iterators of slices
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-05-05
    RM References:  5.05.02 (6.1/4)

AI22-0031-1/04   2022-09-06 -- Issues with dynamic evaluation of container aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-02-03
    RM References:  4.03.05 (44/5)   4.03.05 (46/5)   4.03.05 (53/5)

AI22-0032-1/04   2022-02-04 -- Abstract and class-wide container aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-02-03
    RM References:  4.03 (4/5)   4.03.05 (11/5)

AI22-0033-1/02   2023-05-26 -- Additional terms and definitions
    Priority: Very Low   Difficulty: Easy
    Class: Presentation                Status: Work Item    23-03-23
    RM References:  1.03.01 (6/5)   1.03.03 (1/5)

AI22-0034-1/01   2022-01-26 -- Implementation model of dynamic accessibility checking
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item    22-01-26
    RM References:  3.10.02 (22)

AI22-0035-1/03   2022-09-06 -- Add "not null" to some Ada.Strings subprograms
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-05-05
    RM References:  A.04.03 (109)   A.04.03 (8.2/2)   A.04.03 (10)   A.04.03 (14)   A.04.03 (20)   A.04.03 (21)   A.04.03 (56.1/2)   A.04.03 (57)
                    A.04.03 (63)   A.04.03 (69)   A.04.03 (71)   A.04.04 (43.2/2)   A.04.04 (45)   A.04.04 (49)   A.04.04 (55)   A.04.04 (56)
                    A.04.05 (38.2/2)   A.04.05 (40)   A.04.05 (44)   A.04.05 (50)   A.04.05 (51)  
    Alternatives:   AI22-0035-2

AI22-0035-2/01   2022-04-25 -- Add "not null" to type Character_Mapping_Function
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     13-0-0   22-05-05
    RM References:  A.04.02 (25)  
    Alternatives:   AI22-0035-1

AI22-0036-1/08   2023-04-27 -- Attributes in the expression of Default_Value
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  23-01-20
    RM References:  8.06 (17/3)   13.14 (4/1)   13.14 (7.2/5)   13.14 (8/4)   13.14 (8.2/1)   13.14 (10/5)   13.14 (15.2/5)

AI22-0037-1/02   2022-06-23 -- Freezing of static expressions
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: WG9 Approved 22-10-18
    RM References:  13.14 (7.2/5)   13.14 (8/4)

AI22-0038-1/04   2022-06-23 -- Introduction to 7.3.2
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2022 22-06-23
    RM References:  7.03.02 (1/5)

AI22-0039-1/03   2022-06-14 -- Clarify 8.3(26/2)
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2022 22-06-14
    RM References:  8.03 (26/2)

AI22-0040-1/05   2023-04-26 -- Finalization and Implicit Loops
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-09-09
    RM References:  4.04 (9.7/5)   6.01.01 (22.12/5)   6.01.01 (22.13/5)   6.01.01 (22.14/5)   6.01.01 (22.15/5)   7.06 (18/3)   7.06.01 (3/5)   7.06.01 (13.1/3)

AI22-0041-1/03   2022-06-23 -- Deferred constant subtype compatibility
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-06-23
    RM References:  7.04 (6/3)   7.04 (7/2)   7.04 (7.1/2)

AI22-0042-1/02   2022-06-23 -- Freezing rule needed for dispatching expression functions
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-06-23
    RM References:  13.14 (15.1/3)

AI22-0043-1/04   2023-03-25 -- Tags from context for tag-indeterminate calls
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-09-09
    RM References:  3.09.02 (17/2)   3.09.02 (18/2)   3.09.02 (18.1/2)   3.09.02 (19)

AI22-0044-1/02   2022-06-23 -- Aggregate discriminants that do not satisfy predicates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-06-23
    RM References:  4.03.01 (17/5)

AI22-0045-1/05   2023-03-25 -- Issues with pragma placement
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-09-09
    RM References:  2.08 (6/5)   2.08 (7/3)   2.08 (7.1/3)   2.08 (7.2/3)   2.08 (12)   2.08 (20)   4.05.09 (7/5)
!   11.04.02 (4/2)
                    13.01 (4/1)   H.03.02 (4)   J.15 (1/3)

AI22-0046-1/02   2022-06-23 -- Statically names misses some cases
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-06-23
    RM References:  4.09 (17.3/5)

AI22-0047-1/03   2023-04-26 -- Use of reduction accumulator
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Corrigendum 1 for Ada 2022  22-09-09
    RM References:  4.05.10 (24/5)   4.05.10 (25/5)   4.05.10 (28/5)

AI22-0048-1/03   2023-04-27 -- Time_Zone parameter for Day_Of_Week
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Corrigendum 1 for Ada 2022  23-03-30
    RM References:  9.06.01 (18/2)   9.06.01 (51/2)   9.06.01 (52/2)

AI22-0049-1/02   2023-03-25 -- Seconds function with Time_Zone parameter
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item    22-10-25
    RM References:  9.06 (13)   9.06.01 (23/2)   9.06.01 (58/2)

AI22-0050-1/03   2023-04-21 -- Ada.Unchecked_Deallocate_Subpool should be preelaborated
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022 22-11-10
    RM References:  13.11.05 (3/5)

AI22-0051-1/04   2023-05-19 -- Preelaborable_Initialization and contract aspects
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item    22-10-26
    RM References:  7.03.03 (7/5)   10.02.01 (5)   10.02.01 (7/5)

AI22-0052-1/05   2023-04-21 -- Storage Pool-related side effects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  23-03-30
    RM References:  13.11 (17.1/5)   13.11 (18/5)   H.07 (4/5)   H.07 (7/5)

AI22-0053-1/04   2023-05-19 -- An unintended consequence of AI12-0101-1
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item    22-10-27
    RM References:  4.05.02 (13)   4.05.02 (15/5)

AI22-0054-1/03   2023-04-21 -- Ambiguous prefix for the Result attribute
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  23-01-20
    RM References:  4.01.04 (6/5)

AI22-0055-1/03   2023-05-19 -- Usage Advice
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item    22-11-30
    RM References:  3.09 (27/5)   4.06 (62)   7.06.01 (24)   9.08 (22/5)   9.09 (7/5)   9.09 (8/5)   11.04.02 (28/5)   12.04 (12)
                    12.06 (12)   13.09.02 (14/5)   A.05.02 (50/5)   A.16 (131/5)   B.03.02 (43)   C.03.01 (23/5)   D.13 (12/5)

AI22-0056-1/01   2023-01-11 -- Automatic creation of constructor functions
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item    23-01-11
    RM References:  3.04 (27/2)   3.09.01 (4.2/5)   3.09.03 (4/2)   3.09.03 (6/2)

AI22-0057-1/01   2023-01-11 -- Floor and other rounding attributes for fixed point types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item    23-01-11
    RM References:  A.05.04 (4)

AI22-0058-1/03   2023-04-26 -- Preconditions for checking Task_Ids
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  23-01-20
    RM References:  D.02.06 (9/5)   D.02.06 (29/2)   D.05.01 (4)   D.05.01 (5)   D.05.01 (9)   D.11 (3/5)   D.11 (8)   D.14 (5/2)
                    D.14 (17/2)

AI22-0059-1/01   2023-01-12 -- Parallel_Calls aspect for types
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item    23-01-12
    RM References:  9.10.01 (20/5)   9.10.01 (21/5)   9.10.01 (23/5)   13.11 (17.1/5)   13.11 (18/5)

AI22-0060-1/03   2023-04-18 -- Interactions between defaults and check suppression
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  23-03-30
    RM References:  11.05 (8.1/2)

AI22-0061-1/03   2023-04-18 -- Assertion policy for duplicated expressions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  23-03-30
    RM References:  11.04.02 (23/2)

AI22-0062-1/02   2023-04-05 -- Clarify “ceases to exist” definition
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item    23-03-21
    RM References:  7.06.01 (11)

AI22-0063-1/02   2023-05-19 -- Font alone should not differentiate terms
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item    23-02-20
    RM References:  3.11.01 (1/3)   6.06 (2)   13.11.04 (31/3)

AI22-0064-1/03   2023-04-05 -- Basic rules for parenthesized expressions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item    23-02-22
    RM References:  4.04 (8)   4.04 (9.1/5)   4.04 (10.1/5)

AI22-0065-1/01   2023-05-19 -- Specialized Needs Annexes should be normative
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item    23-03-22
    RM References:  C (1)   D (1)

AI22-0066-1/01   2023-03-22 -- If it ain't broke...
    Priority: Very Low   Difficulty: Easy
    Class: Confirmation                Status: Received     23-03-22
    RM References:  3.02.04 (21/3)   4.04 (7/3)   5.08 (5)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)

AI22-0067-1/01   2023-05-19 -- The nominal subtype of an aggregate
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item    23-03-23
    RM References:  4.03 (4/5)

AI22-0068-1/02   2023-04-21 -- Fix AI22-0028-1 fix to leave lead-in alone
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  23-03-30
    RM References:  B.03.03 (22/6)   B.03.03 (23/6)

AI22-0069-1/01   2023-03-23 -- Empty subsequences in parallel reduction expressions
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item    23-03-23
    RM References:  4.05.10 (21/5)   4.05.10 (27/5)   4.05.10 (28/5)

AI22-0070-1/02   2023-04-03 -- Cannot use might, might use can
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2022  23-03-30
    RM References:  4.03.03 (32/6)

AI22-0071-1/01   2023-03-23 -- Testing assignability and returnability
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item    23-03-23
    RM References:  5.02 (11/5)   6.05 (21/3)

AI22-0072-1/02   2023-04-05 -- Meaning of direct references to components
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item    23-04-04
    RM References:  8.06 (17.1/5)

Ada 2022 Issues listed in numeric order