Add tests.

tests/baselines/reference/nonPrimitiveRhsSideOfInExpression.js

@@ -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();

tests/baselines/reference/nonPrimitiveRhsSideOfInExpression.symbols

@@ -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))
+

tests/baselines/reference/nonPrimitiveRhsSideOfInExpression.types

@@ -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
+

tests/cases/conformance/types/nonPrimitive/nonPrimitiveRhsSideOfInExpression.ts

@@ -0,0 +1,8 @@
+let o: object = {};
+
+function f(): object {
+	return {};
+}
+
+const b1 = "foo" in o;
+const b2 = "bar" in f();