[m-rev.] for post-commit review: teach input specialization about exported foreign_procs

[Julien Fischer]

On Fri, 28 Aug 2026 at 06:58, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> For review by Julien, since he raised the issue.
>
> BTW, I intend to add tests for the interactions of input specialization
> with each relevant pragma once I have a first draft of all those interactions.

That's fine.

Julien.