fix: Correct several issues found during #4740#4786
Merged
Marwes merged 9 commits intomasterfrom fix_typechecksMay 25, 2022
+120-58
Commits
Commits on May 24, 2022
- committedMarkus Westerlind
- committedMarkus Westerlind
- committedMarkus Westerlind
- committedMarkus Westerlind
- committedMarkus Westerlind
- committedMarkus Westerlind
- committedMarkus Westerlind
- committedMarkus Westerlind
Commits on May 25, 2022
- committedMarkus Westerlind