Open kyegupov opened 3 years ago
This tightens the analysis which has become too lenient after fixing #22. A possibility of panic can only lead to named returns being read if there is a "defer" statement which could call recover().
This tightens the analysis which has become too lenient after fixing #22. A possibility of panic can only lead to named returns being read if there is a "defer" statement which could call recover().