<div dir="ltr"><div class="markdown-here-wrapper" style=""><p style="margin:0px 0px 1.2em!important">Just let</p>
<pre style="font-family:Consolas,Inconsolata,Courier,monospace;line-height:1.2em;margin:1.2em 0px"><code style="font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;background-color:rgb(248,248,248);white-space:pre;overflow:auto;border-radius:3px;border:1px solid rgb(204,204,204);padding:0.5em 0.7em;display:block!important">@pure func foo(_ f: (Int) -&gt; Int) -&gt; Int<span style="font-size:0.85em">
</span></code></pre><p style="margin:0px 0px 1.2em!important">be the same as those two combined:</p>
<pre style="font-family:Consolas,Inconsolata,Courier,monospace;line-height:1.2em;margin:1.2em 0px"><code style="font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;background-color:rgb(248,248,248);white-space:pre;overflow:auto;border-radius:3px;border:1px solid rgb(204,204,204);padding:0.5em 0.7em;display:block!important">@pure func foo(_ f: @pure (Int) -&gt; Int) -&gt; Int
func foo(_ f: (Int) -&gt; Int) -&gt; Int<span style="font-size:0.85em">
</span></code></pre><p style="margin:0px 0px 1.2em!important">No need for anything like “re-pure” or <code style="font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">≃&gt;</code>.</p>
<div title="MDH:PGRpdj5KdXN0IGxldDwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+YGBgPC9kaXY+PGRpdj5AcHVy
ZSBmdW5jIGZvbyhfIGY6IChJbnQpIC0mZ3Q7IEludCkgLSZndDsgSW50PGJyPjwvZGl2PjxkaXY+
YGBgPC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5iZSB0aGUgc2FtZSBhcyB0aG9zZSB0d28gY29t
YmluZWQ6PC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5gYGA8L2Rpdj48ZGl2PjxkaXY+QHB1cmUg
ZnVuYyBmb28oXyBmOiBAcHVyZSAoSW50KSAtJmd0OyBJbnQpIC0mZ3Q7IEludDwvZGl2PjxkaXY+
ZnVuYyBmb28oXyBmOiAoSW50KSAtJmd0OyBJbnQpIC0mZ3Q7IEludDwvZGl2PjwvZGl2PjxkaXY+
YGBgPC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5ObyBuZWVkIGZvciBhbnl0aGluZyBsaWtlICJy
ZS1wdXJlIiBvciBg4omDJmd0O2AuPC9kaXY+" style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0">​</div></div></div>