revert some of the minor changes

Author: Andarist

src/compiler/checker.ts

@@ -31996,7 +31996,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
             // If no inferences have been made, and none of the type parameters for which we are inferring
             // specify default types, nothing is gained from instantiating as type parameters would just be
             // replaced with their constraints similar to the apparent type.
-            if (inferenceContext && (contextFlags! & ContextFlags.ContextualSignature || isReturnExpressionLiteralContext(node)) && some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
+            if (inferenceContext && (contextFlags! & ContextFlags.Signature || isReturnExpressionLiteralContext(node)) && some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
                 // For contextual signatures we incorporate all inferences made so far, e.g. from return
                 // types as well as arguments to the left in a function call.
                 return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
@@ -32463,7 +32463,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
         if (typeTagSignature) {
             return typeTagSignature;
         }
-        const type = getApparentTypeOfContextualType(node, ContextFlags.ContextualSignature);
+        const type = getApparentTypeOfContextualType(node, ContextFlags.Signature);
         if (!type) {
             return undefined;
         }
@@ -40718,7 +40718,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
             (isPropertyAssignment(parent) || isShorthandPropertyAssignment(parent) || isTemplateSpan(parent)) && isConstContext(parent.parent);
     }
 
-    function checkExpressionForMutableLocation(node: Expression, checkMode?: CheckMode, forceTuple?: boolean): Type {
+    function checkExpressionForMutableLocation(node: Expression, checkMode: CheckMode | undefined, forceTuple?: boolean): Type {
         const type = checkExpression(node, checkMode, forceTuple);
         return isConstContext(node) || isCommonJsExportedExpression(node) ? getRegularTypeOfLiteralType(type) :
             isTypeAssertion(node) ? type :

src/compiler/types.ts

@@ -5461,10 +5461,10 @@ export const enum IntersectionFlags {
 // dprint-ignore
 /** @internal */
 export const enum ContextFlags {
-    None                = 0,
-    ContextualSignature = 1 << 0, // Obtaining contextual signature or checking its return type
-    NoConstraints       = 1 << 1, // Don't obtain type variable constraints
-    Completions         = 1 << 2, // Ignore inference to current node and parent nodes out to the containing call for completions
+    None           = 0,
+    Signature      = 1 << 0, // Obtaining contextual signature
+    NoConstraints  = 1 << 1, // Don't obtain type variable constraints
+    Completions    = 1 << 2, // Ignore inference to current node and parent nodes out to the containing call for completions
     SkipBindingPatterns = 1 << 3, // Ignore contextual types applied by binding patterns
 }