https://d.puremagic.com/issues/show_bug.cgi?id=11461
[email protected] changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #12 from [email protected] 2014-03-22 05:32:37 PDT --- (In reply to comment #5) > (In reply to comment #3) > > Interesting btw, such a function will either never or always throw an Error. > > The fix is fairly simple, we need a way to annotate noreturn functions. On this there is no DIP and perhaps not even an enhancement request. -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
