Do not report names assigned by every if branch as undeclared - #2237
Closed
rulfox wants to merge 1 commit into
Closed
Do not report names assigned by every if branch as undeclared#2237rulfox wants to merge 1 commit into
rulfox wants to merge 1 commit into