Add flag to change `catch` variables' default types to `unknown`#41013

Merged

DanielRosenwasser merged 9 commits into

mainfrom

unknownInCatchVariables

Jun 3, 2021

Commits on May 19, 2021

'useUnknownInCatchVariables' is strict in command line help.
DanielRosenwasser
authored

Commits on Jun 3, 2021

Merge remote-tracking branch 'origin/main' into unknownInCatchVariables
DanielRosenwasser
authored