Fully deoptimize first level path when deoptimizing nested parameter …

…paths (#5153)

src/ast/variables/ParameterVariable.ts

@@ -109,7 +109,7 @@ export default class ParameterVariable extends LocalVariable {
 		for (const entity of this.entitiesToBeDeoptimized) {
 			// We do not need a recursion tracker here as we already track whether
 			// this field is deoptimized
-			entity.deoptimizePath(path);
+			entity.deoptimizePath([key]);
 		}
 		if (key === UnknownKey) {
 			// save some memory

test/function/samples/track-mutated-in-callback/_config.js

@@ -0,0 +1,8 @@
+module.exports = defineTest({
+	description: 'tracks mutations of variables in callbacks passed to globals',
+	context: {
+		globalFunction(callback) {
+			callback(true);
+		}
+	}
+});

test/function/samples/track-mutated-in-callback/main.js

@@ -0,0 +1,10 @@
+const createCallback = box => newValue => {
+	box[0] = newValue;
+	return box[0];
+};
+
+const box = [null];
+const callback = createCallback(box);
+globalFunction(callback);
+
+assert.ok(box[0] ? true : false);