<div dir="ltr"><div class="markdown-here-wrapper" style=""><p style="margin:0px 0px 1.2em!important">2017-02-19 22:59 GMT+03:00 Matthew Johnson <<a href="mailto:matthew@anandabits.com" target="_blank">matthew@anandabits.com</a>>:</p>
<p style="margin:0px 0px 1.2em!important"></p><div class="markdown-here-exclude"><p></p><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><span class=""><blockquote type="cite"><div>On Feb 19, 2017, at 1:32 PM, Anton Zhilin <<a href="mailto:antonyzhilin@gmail.com" target="_blank">antonyzhilin@gmail.com</a>> wrote:</div><br class="m_-2614446803700265113Apple-interchange-newline"><div><div dir="ltr"><div class="m_-2614446803700265113markdown-here-wrapper"><p style="margin:0px 0px 1.2em!important">Now that I think about it, generic throws does not exactly cover <code style="font-size:0.85em;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">rethrows</code>.<br>Firstly, <code style="font-size:0.85em;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">rethrows</code> has semantic information that function itself does not throw—it would be lost.</p></div></div></div></blockquote></span>Can you elaborate further on what you mean by this?</div></div></blockquote><p></p></div><p style="margin:0px 0px 1.2em!important"></p>
<pre style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;font-size:1em;line-height:1.2em;margin:1.2em 0px"><code style="font-size:0.85em;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;white-space:pre;overflow:auto;border-radius:3px;border:1px solid rgb(204,204,204);padding:0.5em 0.7em;display:block!important">protocol Default { init() }
func exec(f: () throws -> Void) rethrows
{
try f()
throw MyError() // error because of rethrows
}
func exec<E>(f: () throws(E) -> Void) throws(E)
where E: Error & Default
{
try f()
throw E() // okay
}
</code></pre><div title="MDH:PGRpdiBjbGFzcz0iZ21haWxfZXh0cmEiPjxkaXYgY2xhc3M9ImdtYWlsX3F1b3RlIj4yMDE3LTAy
LTE5IDIyOjU5IEdNVCswMzowMCBNYXR0aGV3IEpvaG5zb24gPHNwYW4gZGlyPSJsdHIiPiZsdDs8
YSBocmVmPSJtYWlsdG86bWF0dGhld0BhbmFuZGFiaXRzLmNvbSIgdGFyZ2V0PSJfYmxhbmsiPm1h
dHRoZXdAYW5hbmRhYml0cy5jb208L2E+Jmd0Ozwvc3Bhbj46PGJsb2NrcXVvdGUgY2xhc3M9Imdt
YWlsX3F1b3RlIiBzdHlsZT0ibWFyZ2luOjAgMCAwIC44ZXg7Ym9yZGVyLWxlZnQ6MXB4ICNjY2Mg
c29saWQ7cGFkZGluZy1sZWZ0OjFleCI+PGRpdiBzdHlsZT0id29yZC13cmFwOmJyZWFrLXdvcmQi
PjxkaXY+PHNwYW4gY2xhc3M9IiI+PGJsb2NrcXVvdGUgdHlwZT0iY2l0ZSI+PGRpdj5PbiBGZWIg
MTksIDIwMTcsIGF0IDE6MzIgUE0sIEFudG9uIFpoaWxpbiAmbHQ7PGEgaHJlZj0ibWFpbHRvOmFu
dG9ueXpoaWxpbkBnbWFpbC5jb20iIHRhcmdldD0iX2JsYW5rIj5hbnRvbnl6aGlsaW5AZ21haWwu
Y29tPC9hPiZndDsgd3JvdGU6PC9kaXY+PGJyIGNsYXNzPSJtXy0yNjE0NDQ2ODAzNzAwMjY1MTEz
QXBwbGUtaW50ZXJjaGFuZ2UtbmV3bGluZSI+PGRpdj48ZGl2IGRpcj0ibHRyIj48ZGl2IGNsYXNz
PSJtXy0yNjE0NDQ2ODAzNzAwMjY1MTEzbWFya2Rvd24taGVyZS13cmFwcGVyIj48cCBzdHlsZT0i
bWFyZ2luOjBweCAwcHggMS4yZW0haW1wb3J0YW50Ij5Ob3cgdGhhdCBJIHRoaW5rIGFib3V0IGl0
LCBnZW5lcmljIHRocm93cyBkb2VzIG5vdCBleGFjdGx5IGNvdmVyIDxjb2RlIHN0eWxlPSJmb250
LXNpemU6MC44NWVtO2ZvbnQtZmFtaWx5OkNvbnNvbGFzLEluY29uc29sYXRhLENvdXJpZXIsbW9u
b3NwYWNlO21hcmdpbjowcHggMC4xNWVtO3BhZGRpbmc6MHB4IDAuM2VtO3doaXRlLXNwYWNlOnBy
ZS13cmFwO2JvcmRlcjoxcHggc29saWQgcmdiKDIzNCwyMzQsMjM0KTtiYWNrZ3JvdW5kLWNvbG9y
OnJnYigyNDgsMjQ4LDI0OCk7Ym9yZGVyLXJhZGl1czozcHg7ZGlzcGxheTppbmxpbmUiPnJldGhy
b3dzPC9jb2RlPi48YnI+Rmlyc3RseSwgPGNvZGUgc3R5bGU9ImZvbnQtc2l6ZTowLjg1ZW07Zm9u
dC1mYW1pbHk6Q29uc29sYXMsSW5jb25zb2xhdGEsQ291cmllcixtb25vc3BhY2U7bWFyZ2luOjBw
eCAwLjE1ZW07cGFkZGluZzowcHggMC4zZW07d2hpdGUtc3BhY2U6cHJlLXdyYXA7Ym9yZGVyOjFw
eCBzb2xpZCByZ2IoMjM0LDIzNCwyMzQpO2JhY2tncm91bmQtY29sb3I6cmdiKDI0OCwyNDgsMjQ4
KTtib3JkZXItcmFkaXVzOjNweDtkaXNwbGF5OmlubGluZSI+cmV0aHJvd3M8L2NvZGU+IGhhcyBz
ZW1hbnRpYyBpbmZvcm1hdGlvbiB0aGF0IGZ1bmN0aW9uIGl0c2VsZiBkb2VzIG5vdCB0aHJvd+KA
lGl0IHdvdWxkIGJlIGxvc3QuPC9wPjwvZGl2PjwvZGl2PjwvZGl2PjwvYmxvY2txdW90ZT48L3Nw
YW4+Q2FuIHlvdSBlbGFib3JhdGUgZnVydGhlciBvbiB3aGF0IHlvdSBtZWFuIGJ5IHRoaXM/PC9k
aXY+PC9kaXY+PC9ibG9ja3F1b3RlPjxkaXY+PGJyPjwvZGl2PjxkaXY+YGBgPC9kaXY+PGRpdj5w
cm90b2NvbCBEZWZhdWx0IHsgaW5pdCgpIH08L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PmZ1bmMg
ZXhlYyhmOiAoKSB0aHJvd3MgLSZndDsgVm9pZCkgcmV0aHJvd3M8L2Rpdj48ZGl2Pns8L2Rpdj48
ZGl2PiZuYnNwOyAmbmJzcDsgdHJ5IGYoKTwvZGl2PjxkaXY+Jm5ic3A7ICZuYnNwOyB0aHJvdyBN
eUVycm9yKCkgJm5ic3A7Ly8gZXJyb3IgYmVjYXVzZSBvZiByZXRocm93czwvZGl2PjxkaXY+fTwv
ZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+ZnVuYyBleGVjJmx0O0UmZ3Q7KGY6ICgpIHRocm93cyhF
KSAtJmd0OyBWb2lkKSB0aHJvd3MoRSk8L2Rpdj48ZGl2PiZuYnNwOyAmbmJzcDsgJm5ic3A7d2hl
cmUgRTogRXJyb3IgJmFtcDsgRGVmYXVsdDwvZGl2PjxkaXY+ezwvZGl2PjxkaXY+Jm5ic3A7ICZu
YnNwOyB0cnkgZigpPC9kaXY+PGRpdj4mbmJzcDsgJm5ic3A7IHRocm93IEUoKSAmbmJzcDsvLyBv
a2F5PC9kaXY+PGRpdj59PC9kaXY+PGRpdj5gYGA8YnI+PC9kaXY+PC9kaXY+PC9kaXY+" style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0"></div></div></div>