Excess property checks for discriminated unions
Excess property checks for discriminated unions

This uses the same code as #14006, which improves error messages for
discriminated unions.

kpreisser/TypeScript,Eyas/TypeScript,RyanCavanaugh/TypeScript,RyanCavanaugh/TypeScript,kpreisser/TypeScript,RyanCavanaugh/TypeScript,weswigham/TypeScript,Microsoft/TypeScript,kitsonk/TypeScript,minestarks/TypeScript,Microsoft/TypeScript,minestarks/TypeScript,donaldpipowitch/TypeScript,microsoft/TypeScript,donaldpipowitch/TypeScript,microsoft/TypeScript,donaldpipowitch/TypeScript,alexeagle/TypeScript,alexeagle/TypeScript,Eyas/TypeScript,kitsonk/TypeScript,weswigham/TypeScript,basarat/TypeScript,kitsonk/TypeScript,basarat/TypeScript,TukekeSoft/TypeScript,weswigham/TypeScript,SaschaNaz/TypeScript,Eyas/TypeScript,TukekeSoft/TypeScript,nojvek/TypeScript,TukekeSoft/TypeScript,SaschaNaz/TypeScript,SaschaNaz/TypeScript,Microsoft/TypeScript,nojvek/TypeScript,Eyas/TypeScript,donaldpipowitch/TypeScript,microsoft/TypeScript,alexeagle/TypeScript,nojvek/TypeScript,basarat/TypeScript,nojvek/TypeScript,basarat/TypeScript,kpreisser/TypeScript,SaschaNaz/TypeScript,minestarks/TypeScript