fix(57445): No inlay hints for property declaration types inferred from constructor (#57494)

a-tarasyuk · sandersn · web-flow · commit 884d649846df · 2024-03-12T11:50:46.000-07:00
Co-authored-by: Nathan Shively-Sanders &lt;293473+sandersn@users.noreply.github.com&gt;
diff --git a/src/services/inlayHints.ts b/src/services/inlayHints.ts
@@ -118,6 +118,7 @@ import {
     tokenToString,
     TupleTypeReference,
     Type,
+    TypeFlags,
     unescapeLeadingUnderscores,
     UserPreferences,
     usingSingleLineStringWriter,
@@ -260,7 +261,10 @@ export function provideInlayHints(context: InlayHintsContext): InlayHint[] {
     }
 
     function visitVariableLikeDeclaration(decl: VariableDeclaration | PropertyDeclaration) {
-        if (!decl.initializer || isBindingPattern(decl.name) || isVariableDeclaration(decl) && !isHintableDeclaration(decl)) {
+        if (
+            decl.initializer === undefined && !(isPropertyDeclaration(decl) && !(checker.getTypeAtLocation(decl).flags & TypeFlags.Any)) ||
+            isBindingPattern(decl.name) || (isVariableDeclaration(decl) && !isHintableDeclaration(decl))
+        ) {
             return;
         }
 
diff --git a/tests/baselines/reference/inlayHintsPropertyDeclarations.baseline b/tests/baselines/reference/inlayHintsPropertyDeclarations.baseline
@@ -6,4 +6,13 @@
   "position": 15,
   "kind": "Type",
   "whitespaceBefore": true
+}
+
+    d;
+     ^
+{
+  "text": ": number | null",
+  "position": 50,
+  "kind": "Type",
+  "whitespaceBefore": true
 }
diff --git a/tests/cases/fourslash/inlayHintsPropertyDeclarations.ts b/tests/cases/fourslash/inlayHintsPropertyDeclarations.ts
@@ -1,9 +1,18 @@
 /// <reference path="fourslash.ts" />
 
+// @strict: true
 //// class C {
 ////     a = 1
 ////     b: number = 2
 ////     c;
+////     d;
+////
+////     constructor(value: number) {
+////         this.d = value;
+////         if (value <= 0) {
+////             this.d = null;
+////         }
+////     }
 //// }
 
 verify.baselineInlayHints(undefined, {
