Comment cleanup

Author: rbuckton

src/compiler/checker.ts

@@ -28036,7 +28036,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
         }
 
         function getInstanceType(constructorType: Type, left: Expression, leftType: Type, right: Expression) {
-            // if rightType is an object type with a custom `[Symbol.hasInstance]` method, and that method has a type
+            // if constructorType is an object type with a custom `[Symbol.hasInstance]` method, and that method has a type
             // predicate, use the type predicate to perform narrowing. This allows normal `object` types to participate
             // in `instanceof`, as per Step 2 of https://tc39.es/ecma262/#sec-instanceofoperator.
             const hasInstanceMethodType = getSymbolHasInstanceMethodOfObjectType(constructorType);
@@ -33895,6 +33895,9 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
         // If candidate is undefined, it means that no candidates had a suitable arity. In that case,
         // skip the checkApplicableSignature check.
         if (reportErrors) {
+            // If the call expression is a synthetic call to a `[Symbol.hasInstance]` method then we will produce a head
+            // message when reporting diagnostics that explains how we got to `right[Symbol.hasInstance](left)` from
+            // `left instanceof right`, as it pertains to "Argument" related messages reported for the call.
             if (!headMessage && isCallExpression(node) && isSyntheticHasInstanceMethodCall(node)) {
                 headMessage = Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_hand_side_s_Symbol_hasInstance_method;
             }
@@ -34332,9 +34335,6 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
             return resolveErrorCall(node);
         }
 
-        // If the call expression is a synthetic call to a `[Symbol.hasInstance]` method then we will produce a head
-        // message when reporting diagnostics that explains how we got to `right[Symbol.hasInstance](left)` from
-        // `left instanceof right`, as it pertains to "Argument" related messages reported for the call.
         return resolveCall(node, callSignatures, candidatesOutArray, checkMode, callChainFlags);
     }
 
@@ -37201,7 +37201,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
                 }
                 if (!cache.hasSimpleUnrestrictedSingleCallSignature) {
                     // If rightType has a `[Symbol.hasInstance]` method that is not `(value: unknown) => boolean`, we
-                    // must check the expression as if it were a call to `right[Symbol.hasInstance](left)1. The call to
+                    // must check the expression as if it were a call to `right[Symbol.hasInstance](left)`. The call to
                     // `getResolvedSignature`, below, will check that leftType is assignable to the type of the first
                     // parameter.
                     const syntheticCall = createSyntheticHasInstanceMethodCall(left, leftType, right, rightType, hasInstanceMethodType);