Repository navigation

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

Merged

Daniel Rosenwasser (DanielRosenwasser) merged 9 commits into

mainfrom

unknownInCatchVariables

Jun 3, 2021

Merged

Add flag to change `catch` variables' default types to `unknown`#41013
Daniel Rosenwasser (DanielRosenwasser) merged 9 commits into
mainfrom
unknownInCatchVariables

Commits on May 5, 2021
Commits on May 19, 2021
- 'useUnknownInCatchVariables' is strict in command line help.
  Daniel Rosenwasser (DanielRosenwasser)
  authored
  0ea20ff
Commits on Jun 3, 2021
- Merge remote-tracking branch 'origin/main' into unknownInCatchVariables
  Daniel Rosenwasser (DanielRosenwasser)
  authored
  49e652d