Fix a false positive for redefined-outer-name
(#9678)
#1376
This job succeeded
Loading
redefined-outer-name
(#9678)
#1376