Merge main to release/dev16.9#10233

Merged

cartermp merged 1 commit intorelease/dev16.9from merges/main-to-release/dev16.9

Oct 7, 2020

+722-364

Commits on Oct 6, 2020

[Tooling Optimization] Skip background type-checking on implementation files if signature files exist (#10199 )
TIHan
authored