There is no need for nothrow keyword if we get this instead: Pitch: Genericizing over annotations like throws - #10 by Joe_Groff
modify { ... } would simply mean modify throws Never { ... }.
2 Likes
There is no need for nothrow keyword if we get this instead: Pitch: Genericizing over annotations like throws - #10 by Joe_Groff
modify { ... } would simply mean modify throws Never { ... }.