This is a summary of all Ada 2022 Issues. Priority is Very Low, Low, Medium, High, or Critical; Difficulty is Easy, Medium, or Hard. 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/01 2023-03-17 -- Objects declared in declare expressions may be surprisingly long-lived Priority: Low Difficulty: Easy Class: Ramification Status: Work Item 21-11-12 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/01 2023-03-23 -- 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/07 2023-01-20 -- Attributes in the expression of Default_Value Priority: Low Difficulty: Easy 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/04 2022-10-18 -- Finalization and Implicit Loops Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-09-09 RM References: 7.06.01 (3) 4.04 (9.7) 6.06.01 (22.12) 7.06 (18) 7.06.01 (13.1) 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/03 2022-11-17 -- 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/04 2023-02-08 -- 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) 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/02 2022-09-08 -- Initialization of and saving the result back in an accumulator duringreduction 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/02 2023-03-23 -- Time_Zone parameter for Day_Of_Week Priority: Low Difficulty: Easy Class: Amendment Status: Work Item 22-10-24 RM References: 9.06.01 (18/2) 9.06.01 (51/2) 9.06.01 (52/2) AI22-0049-1/01 2022-10-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/02 2022-11-16 -- 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/03 2023-03-23 -- 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/02 2023-02-21 -- Storage Pool-related side effects Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Work Item 22-10-27 RM References: H.07 (4/5) H.07 (7/5) AI22-0053-1/03 2023-03-23 -- 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/02 2023-01-23 -- 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/02 2023-03-23 -- 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/02 2023-01-20 -- Preconditions for checking Task_Ids Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-01-20 RM References: C.07.01 (4/3) 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 (9) 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/01 2023-03-15 -- Clarify interactions between defaults and check suppression Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Work Item 23-03-15 RM References: 11.05 (8) AI22-0061-1/01 2023-03-17 -- Assertion policy for duplicated expressions Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Work Item 23-03-17 RM References: 11.04.02 AI22-0062-1/01 2023-03-21 -- 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/01 2023-03-20 -- 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/01 2023-03-22 -- Obvious rules that should be stated 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) 8.06 (17.1/5) AI22-0065-1/00 2023-03-22 -- 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/00 2023-03-23 -- 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/01 2023-03-23 -- Fix AI22-0028-1 fix to leave lead-in alone Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Work Item 23-03-23 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/01 2023-03-23 -- Cannot use might, might use can Priority: Low Difficulty: Easy Class: Presentation Status: Work Item 23-03-23 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)