JavaScriptBench
diff --git a/Collapse file
‎src/compiler/checker.ts‎
Copy file name to clipboardExpand all lines: src/compiler/checker.ts
+1-1Lines changed: 1 addition & 1 deletion b/Collapse file
‎src/compiler/checker.ts‎
Copy file name to clipboardExpand all lines: src/compiler/checker.ts
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/Collapse file
‎tests/baselines/reference/nonPrimitiveRhsSideOfInExpression.js‎
Copy file name to clipboard
+17Lines changed: 17 additions & 0 deletions b/Collapse file
‎tests/baselines/reference/nonPrimitiveRhsSideOfInExpression.js‎
Copy file name to clipboard
+17Lines changed: 17 additions & 0 deletions
diff --git a/Collapse file
‎tests/baselines/reference/nonPrimitiveRhsSideOfInExpression.symbols‎
Copy file name to clipboard
+18Lines changed: 18 additions & 0 deletions b/Collapse file
‎tests/baselines/reference/nonPrimitiveRhsSideOfInExpression.symbols‎
Copy file name to clipboard
+18Lines changed: 18 additions & 0 deletions
diff --git a/Collapse file
‎tests/baselines/reference/nonPrimitiveRhsSideOfInExpression.types‎
Copy file name to clipboard
+25Lines changed: 25 additions & 0 deletions b/Collapse file
‎tests/baselines/reference/nonPrimitiveRhsSideOfInExpression.types‎
Copy file name to clipboard
+25Lines changed: 25 additions & 0 deletions
diff --git a/Collapse file
‎tests/cases/conformance/types/nonPrimitive/nonPrimitiveRhsSideOfInExpression.ts‎
Copy file name to clipboard
+8Lines changed: 8 additions & 0 deletions b/Collapse file
‎tests/cases/conformance/types/nonPrimitive/nonPrimitiveRhsSideOfInExpression.ts‎
Copy file name to clipboard
+8Lines changed: 8 additions & 0 deletions
@@ -16306,7 +16306,7 @@ namespace ts {
             if (!(isTypeComparableTo(leftType, stringType) || isTypeOfKind(leftType, TypeFlags.NumberLike | TypeFlags.ESSymbol))) {
                 error(left, Diagnostics.The_left_hand_side_of_an_in_expression_must_be_of_type_any_string_number_or_symbol);
             }
-            if (!isTypeAnyOrAllConstituentTypesHaveKind(rightType, TypeFlags.Object | TypeFlags.TypeVariable)) {
+            if (!isTypeAnyOrAllConstituentTypesHaveKind(rightType, TypeFlags.Object | TypeFlags.TypeVariable | TypeFlags.NonPrimitive)) {
                 error(right, Diagnostics.The_right_hand_side_of_an_in_expression_must_be_of_type_any_an_object_type_or_a_type_parameter);
             }
             return booleanType;
 
@@ -0,0 +1,17 @@
+//// [nonPrimitiveRhsSideOfInExpression.ts]
+let o: object = {};
+
+function f(): object {
+	return {};
+}
+
+const b1 = "foo" in o;
+const b2 = "bar" in f();
+
+//// [nonPrimitiveRhsSideOfInExpression.js]
+var o = {};
+function f() {
+    return {};
+}
+var b1 = "foo" in o;
+var b2 = "bar" in f();
@@ -0,0 +1,18 @@
+=== tests/cases/conformance/types/nonPrimitive/nonPrimitiveRhsSideOfInExpression.ts ===
+let o: object = {};
+>o : Symbol(o, Decl(nonPrimitiveRhsSideOfInExpression.ts, 0, 3))
+
+function f(): object {
+>f : Symbol(f, Decl(nonPrimitiveRhsSideOfInExpression.ts, 0, 19))
+
+	return {};
+}
+
+const b1 = "foo" in o;
+>b1 : Symbol(b1, Decl(nonPrimitiveRhsSideOfInExpression.ts, 6, 5))
+>o : Symbol(o, Decl(nonPrimitiveRhsSideOfInExpression.ts, 0, 3))
+
+const b2 = "bar" in f();
+>b2 : Symbol(b2, Decl(nonPrimitiveRhsSideOfInExpression.ts, 7, 5))
+>f : Symbol(f, Decl(nonPrimitiveRhsSideOfInExpression.ts, 0, 19))
+
@@ -0,0 +1,25 @@
+=== tests/cases/conformance/types/nonPrimitive/nonPrimitiveRhsSideOfInExpression.ts ===
+let o: object = {};
+>o : object
+>{} : {}
+
+function f(): object {
+>f : () => object
+
+	return {};
+>{} : {}
+}
+
+const b1 = "foo" in o;
+>b1 : boolean
+>"foo" in o : boolean
+>"foo" : "foo"
+>o : object
+
+const b2 = "bar" in f();
+>b2 : boolean
+>"bar" in f() : boolean
+>"bar" : "bar"
+>f() : object
+>f : () => object
+
@@ -0,0 +1,8 @@
+let o: object = {};
+
+function f(): object {
+	return {};
+}
+
+const b1 = "foo" in o;
+const b2 = "bar" in f();
Original file line number	Diff line number	Diff line change
`@@ -16306,7 +16306,7 @@ namespace ts {`
`16306`	`16306`	`if (!(isTypeComparableTo(leftType, stringType) \|\| isTypeOfKind(leftType, TypeFlags.NumberLike \| TypeFlags.ESSymbol))) {`
`16307`	`16307`	`error(left, Diagnostics.The_left_hand_side_of_an_in_expression_must_be_of_type_any_string_number_or_symbol);`
`16308`	`16308`	`}`
`16309`		`- if (!isTypeAnyOrAllConstituentTypesHaveKind(rightType, TypeFlags.Object \| TypeFlags.TypeVariable)) {`
	`16309`	`+ if (!isTypeAnyOrAllConstituentTypesHaveKind(rightType, TypeFlags.Object \| TypeFlags.TypeVariable \| TypeFlags.NonPrimitive)) {`
`16310`	`16310`	`error(right, Diagnostics.The_right_hand_side_of_an_in_expression_must_be_of_type_any_an_object_type_or_a_type_parameter);`
`16311`	`16311`	`}`
`16312`	`16312`	`return booleanType;`