more precise type facts for intersection#47282

gabritto wants to merge 5 commits intomainmicrosoft/TypeScript:mainfrom

gabritto/issue45801microsoft/TypeScript:gabritto/issue45801Copy head branch name to clipboard