Make indexing an object with never expression result in never.

And update baseline to reflect new behavior.

Author: kpdonn

src/compiler/checker.ts

@@ -8119,6 +8119,9 @@ namespace ts {
                     }
                     return indexInfo.type;
                 }
+                if (indexType.flags & TypeFlags.Never) {
+                    return neverType;
+                }
                 if (accessExpression && !isConstEnumObjectType(objectType)) {
                     if (noImplicitAny && !compilerOptions.suppressImplicitAnyIndexErrors) {
                         if (getIndexTypeOfType(objectType, IndexKind.Number)) {
@@ -8131,9 +8134,6 @@ namespace ts {
                     return anyType;
                 }
             }
-            if (indexType.flags & TypeFlags.Never) {
-                return neverType;
-            }
             if (accessNode) {
                 const indexNode = accessNode.kind === SyntaxKind.ElementAccessExpression ? accessNode.argumentExpression : accessNode.indexType;
                 if (indexType.flags & (TypeFlags.StringLiteral | TypeFlags.NumberLiteral)) {

tests/baselines/reference/indexingTypesWithNever.errors.txt

@@ -117,8 +117,8 @@ declare const key: never
 >key : never
 
 const result6 = obj[key]
->result6 : any
->obj[key] : any
+>result6 : never
+>obj[key] : never
 >obj : { a: string; b: number; }
 >key : never