Landing: 6d73ecc2f312

Project / Subsystem

gcc / ada

Date

2026-04-17

Author

Claire Dross

Commit

6d73ecc2f312fb4fb0bb4fdffbc0e42ff2d6f342

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
ada
patch_id
commit_hash
6d73ecc2f312fb4fb0bb4fdffbc0e42ff2d6f342
source_type
github
headline
Support Constant_Reference in Iterable aspect.
tldr
Ada's Iterable aspect now supports `Constant_Reference` functions for container iteration.
author
Claire Dross
outcome
committed
performance_win
false
breaking_change
false
series_id
series_parts
[]
tags
  • ada
  • language-feature
  • containers
  • generics
discussion_id_link
bugzilla_pr
date
2026-04-17T00:00:00.000Z

This commit enhances Ada’s Iterable aspect, allowing it to utilize a Constant_Reference function instead of the Element primitive for iterating over container elements. This provides more flexibility in how users can define iteration for their custom container types, particularly when an anonymous access-to-constant type is returned. The change updates expansion and semantic analysis routines to recognize and correctly process Constant_Reference, improving the expressiveness of Ada’s iteration model.