Merge pull request #27252 from weswigham/port-27246

Set parent pointers on manufactured reference for property initialization check (#27246)

Author: RyanCavanaugh

src/compiler/checker.ts

@@ -26176,6 +26176,8 @@ namespace ts {
 
         function isPropertyInitializedInConstructor(propName: Identifier, propType: Type, constructor: ConstructorDeclaration) {
             const reference = createPropertyAccess(createThis(), propName);
+            reference.expression.parent = reference;
+            reference.parent = constructor;
             reference.flowNode = constructor.returnFlowNode;
             const flowType = getFlowTypeOfReference(reference, propType, getOptionalType(propType));
             return !(getFalsyFlags(flowType) & TypeFlags.Undefined);

tests/baselines/reference/strictBooleanMemberAssignability.js

@@ -0,0 +1,16 @@
+//// [strictBooleanMemberAssignability.ts]
+class Abc {
+    def: boolean
+    constructor() {
+        this.def = true
+    }
+}
+
+//// [strictBooleanMemberAssignability.js]
+"use strict";
+var Abc = /** @class */ (function () {
+    function Abc() {
+        this.def = true;
+    }
+    return Abc;
+}());

tests/baselines/reference/strictBooleanMemberAssignability.symbols

@@ -0,0 +1,14 @@
+=== tests/cases/compiler/strictBooleanMemberAssignability.ts ===
+class Abc {
+>Abc : Symbol(Abc, Decl(strictBooleanMemberAssignability.ts, 0, 0))
+
+    def: boolean
+>def : Symbol(Abc.def, Decl(strictBooleanMemberAssignability.ts, 0, 11))
+
+    constructor() {
+        this.def = true
+>this.def : Symbol(Abc.def, Decl(strictBooleanMemberAssignability.ts, 0, 11))
+>this : Symbol(Abc, Decl(strictBooleanMemberAssignability.ts, 0, 0))
+>def : Symbol(Abc.def, Decl(strictBooleanMemberAssignability.ts, 0, 11))
+    }
+}

tests/baselines/reference/strictBooleanMemberAssignability.types

@@ -0,0 +1,16 @@
+=== tests/cases/compiler/strictBooleanMemberAssignability.ts ===
+class Abc {
+>Abc : Abc
+
+    def: boolean
+>def : boolean
+
+    constructor() {
+        this.def = true
+>this.def = true : true
+>this.def : boolean
+>this : this
+>def : boolean
+>true : true
+    }
+}

tests/cases/compiler/strictBooleanMemberAssignability.ts

@@ -0,0 +1,7 @@
+// @strict: true
+class Abc {
+    def: boolean
+    constructor() {
+        this.def = true
+    }
+}