Add assertion on invalid cache set (#43845)

weswigham · web-flow · commit 93c3a30edc7c · 2022-03-11T10:57:22.000-08:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -32190,6 +32190,9 @@ namespace ts {
                     assignBindingElementTypes(declaration.name, links.type);
                 }
             }
+            else if (type) {
+                Debug.assertEqual(links.type, type, "Parameter symbol already has a cached type which differs from newly assigned type");
+            }
         }
 
         // When contextual typing assigns a type to a parameter that contains a binding pattern, we also need to push

Original file line number	Diff line number	Diff line change
`@@ -32190,6 +32190,9 @@ namespace ts {`
`32190`	`32190`	`assignBindingElementTypes(declaration.name, links.type);`
`32191`	`32191`	`}`
`32192`	`32192`	`}`
	`32193`	`+ else if (type) {`
	`32194`	`+ Debug.assertEqual(links.type, type, "Parameter symbol already has a cached type which differs from newly assigned type");`
	`32195`	`+ }`
`32193`	`32196`	`}`
`32194`	`32197`
`32195`	`32198`	`// When contextual typing assigns a type to a parameter that contains a binding pattern, we also need to push`