Skip to content

Use forwarding super when translating abstract sigs to RBS - #1028

Draft
alexcrocha wants to merge 2 commits into
mainfrom
ar-translate-abstract-sigs-super
Draft

Use forwarding super when translating abstract sigs to RBS#1028
alexcrocha wants to merge 2 commits into
mainfrom
ar-translate-abstract-sigs-super

Commits

  1. Commits on Oct 5, 2026