Skip to content

API Annotations: more explicit foralls fixup

Alan Zimmerman requested to merge wip/T16230 into master

The AnnForall annotations introduced via ​Phab:D4894 are not always attached to the correct SourceSpan.

Closes #16230 (closed)

Merge request reports