Add flag to change catch variables' default types to unknown - #41013
Merged
Daniel Rosenwasser (DanielRosenwasser) merged 9 commits intoJun 3, 2021
catch variables' default types to unknown - #41013